{-# OPTIONS -F -pgmF ./T3674_pre #-}

module Test3674 where

data Foo a where MkFoo :: Foo a