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