blob: ae90ea73f22a8c31fd4c67df80dda8d2ff90d473 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
MkFun :: (b -> c) -> Fun b c
Fun :: (a ~ 'OP) => * -> * -> *
type Fun :: forall (a :: WHICH). (a ~ 'OP) => * -> * -> *
data Fun b c where
MkFun :: (b -> c) -> Fun b c
-- Defined at T15872.hs:11:1
MkFun
:: (b -> c) -> Fun @'OP @{'GHC.Types.Eq# @WHICH @'OP @'OP <>} b c
Fun :: ((a :: WHICH) ~ ('OP :: WHICH)) => * -> * -> *
type role Fun nominal nominal representational representational
type Fun :: forall (a :: WHICH).
((a :: WHICH) ~ ('OP :: WHICH)) =>
* -> * -> *
data Fun @a @{a1} b c where
MkFun :: (b -> c)
-> Fun @'OP @{'GHC.Types.Eq# @WHICH @'OP @'OP <>} b c
-- Defined at T15872.hs:11:1
|
