liquidhaskell-0.9.0.2.1: tests/pos/T1642.hs

{-@ LIQUID "--reflection" @-} 
{-# LANGUAGE GADTs          #-}
{-# LANGUAGE KindSignatures #-}

module T1642 where
 
data A  :: * -> *  where 
   A  :: Eq a => a -> () -> A a