on 625f239 help sign in
3 lines 85 B history raw
1{-# LANGUAGE ExistentialQuantification #-}
3data Foo = forall a. MkFoo a (a -> Bool)