{-# OPTIONS -F -pgmF ./3674_pre #-}

module Test3674 where

data Foo a where MkFoo :: Foo a