{-# LANGUAGE GADTSyntax #-}

data Foo where { MKFoo :: a -> (a->Bool) -> Foo }