ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/TDGoodConsConstraints.hs

{-# LANGUAGE TypeData #-}
{-# LANGUAGE GADTs #-}
module TDGoodConsConstraints where

import Data.Kind (Type)
import Data.Type.Equality

type data Foo :: Type -> Type where
  MkFoo1 :: a ~ Int         => Foo a
  MkFoo2 :: a ~~ Int        => Foo a