Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T6025a.hs
1 {-# LANGUAGE DataKinds, GADTs #-}
2 module T6025a (Other (..)) where
3
4 data Other a where
5 OTrue :: Other True
6 OFalse :: Other False