blob: 0aa6ad7f108e0fb524d6e495aa2096378c3c76f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
TYPE SIGNATURES
x :: forall (x :: Bool). P (F Int) (x |> Sym (T14729.D:R:FInt[0]))
y :: forall {x :: Bool}. P Bool x
TYPE CONSTRUCTORS
type family F{1} :: * -> *
roles nominal
data type P{2} :: forall k -> k -> *
roles nominal phantom
COERCION AXIOMS
axiom T14729.D:R:FInt :: F Int = Bool
FAMILY INSTANCES
type instance F Int = Bool -- Defined at T14729.hs:10:15
Dependent modules: []
Dependent packages: [base-4.17.0.0]
|