{-# OPTIONS_GHC -F -pgmF doctest-discover -optF doctest.json #-}