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