T14719.hs 114 Bytes
Newer Older
1
2
3
4
5
6
7
8
{-# LANGUAGE GADTs #-}
module T14719 where

data Foo1 where
  MkFoo1 :: Bool

newtype Foo2 where
  MkFoo2 :: Foo2