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