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