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

{-# LANGUAGE GADTs #-}

module T4087 where

data Equal a b where
     Equal :: Equal a a