{-# OPTIONS_GHC -F -pgmF tasty-auto -optF --debug #-}