testsuite/tests/gadt/T15558.hs


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

{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
module T15558 where

data T a where
  MkT :: T Int

data Foo a = MkFoo ((a ~ Bool) => ())

f :: T a -> Foo a
f MkT = MkFoo ()

-- g :: Foo Int
-- g = f MkT