path: root/testsuite/tests/ghci/scripts/T4087.hs

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE GADTs #-}

module T4087 where

data Equal a b where
     Equal :: Equal a a