[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t015.hs

--!!! Can't derive instances if you use existentials

data Expr a = App (Expr (b -> a)) (Expr b)
            | K a
 deriving (Show)