1{-# LANGUAGE GADTs #-} 2--{-# LANGUAGE KindSignatures #-} 3{-# LANGUAGE PolyKinds #-} 4 5module Test where 6 7data Foo :: * -> * where 8 Foo :: Foo a 9