blob: dd548c85da1a07cca245554108a2dccbb0f51d8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
P1 :: forall {k} {a :: k}. P1 a
P2 :: forall {k} {a :: k}. P2 a
P3 :: forall {k} {a :: k}. P3 k a
P4 :: forall {k} {a :: k}. P1 a -> P4 a
P5 :: forall {k} {a :: k}. P1 a -> P5
P6 :: forall {k} {a :: k}. P1 a -> P6
P7 :: forall {k} {a :: k}. P1 a
P8 :: forall {k} {a :: k}. P1 a
P9 :: forall {k} {a :: k}. P1 a
P11 :: forall {k} {a :: k}. P1 a -> P5
P12 :: forall {k} {a :: k}. P1 a -> P5
P13 :: forall {k} {a :: k}. P1 a -> P5
P14 :: forall {k} {a :: k}. P1 a -> P5
|
