Make equality constraints in kinds invisible
[ghc.git] / testsuite / tests / ghci / scripts / T15872.stdout
1 MkFun :: (a -> b) -> Fun a b
2 Fun :: (a ~ 'OP) => * -> * -> *
3 data Fun b c where
4   MkFun :: (b -> c) -> Fun b c
5         -- Defined at T15872.hs:11:1
6 MkFun
7   :: (a -> b) -> Fun @'OP @{'GHC.Types.Eq# @WHICH @'OP @'OP <>} a b
8 Fun :: ((a :: WHICH) ~ ('OP :: WHICH)) => * -> * -> *
9 type role Fun nominal nominal representational representational
10 data Fun @(a :: WHICH)
11          @{a1 :: (a :: WHICH) ~ ('OP :: WHICH)}
12          b
13          c where
14   MkFun :: (b -> c)
15            -> Fun @'OP @{'GHC.Types.Eq# @WHICH @'OP @'OP <>} b c
16         -- Defined at T15872.hs:11:1