path: root/testsuite/tests/gadt/T7321a.hs

{-# LANGUAGE GADTs #-}
module T7321a where

data Exp a where
   LamE :: (Exp a -> Exp b) -> Exp (Exp a -> Exp b)