{-# OPTIONS_GHC -F -pgmF tasty-discover -optF --generated-module=Spec #-}