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