testsuite/tests/typecheck/should_compile/T16141.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE TypeFamilies #-}
module T16141 where

data family T1
newtype instance T1 = MkT1 Int
  deriving Eq

newtype T2 a b where
  MkT2 :: forall b a. Int -> T2 a b
  deriving Eq