path: root/testsuite/tests/polykinds/T6025a.hs

{-# LANGUAGE DataKinds, GADTs #-}
module T6025a (Other (..)) where

data Other a where
  OTrue :: Other True
  OFalse :: Other False