liquidhaskell-0.8.10.1: tests/pos/T1642.hs

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

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