1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
without -fprint-explicit-foralls
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
pattern P :: Bool -- Defined at <interactive>:16:1
pattern Pe :: a -> Ex -- Defined at <interactive>:17:1
pattern Pu :: p -> p -- Defined at <interactive>:18:1
pattern Pue :: a -> a1 -> (a, Ex) -- Defined at <interactive>:19:1
pattern Pur :: (Eq a, Num a) => a -> [a]
-- Defined at <interactive>:20:1
pattern Purp
:: (Eq a1, Num a1) => Show a2 => a1 -> a2 -> ([a1], UnivProv a2)
-- Defined at <interactive>:21:1
pattern Pure :: (Eq a, Num a) => a -> a1 -> ([a], Ex)
-- Defined at <interactive>:22:1
pattern Purep
:: (Eq a, Num a) => Show a1 => a -> a1 -> ([a], ExProv)
-- Defined at <interactive>:23:1
pattern Pep :: () => Show a => a -> ExProv
-- Defined at <interactive>:24:1
pattern Pup :: () => Show a => a -> UnivProv a
-- Defined at <interactive>:25:1
pattern Puep :: () => Show a => a -> b -> (ExProv, b)
-- Defined at <interactive>:26:1
with -fprint-explicit-foralls
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
pattern P :: Bool -- Defined at <interactive>:16:1
pattern Pe :: () => forall {a}. a -> Ex
-- Defined at <interactive>:17:1
pattern Pu :: forall {p}. p -> p -- Defined at <interactive>:18:1
pattern Pue :: forall {a}. () => forall {a1}. a -> a1 -> (a, Ex)
-- Defined at <interactive>:19:1
pattern Pur :: forall {a}. (Eq a, Num a) => a -> [a]
-- Defined at <interactive>:20:1
pattern Purp
:: forall {a1} {a2}.
(Eq a1, Num a1) =>
Show a2 =>
a1 -> a2 -> ([a1], UnivProv a2)
-- Defined at <interactive>:21:1
pattern Pure
:: forall {a}. (Eq a, Num a) => forall {a1}. a -> a1 -> ([a], Ex)
-- Defined at <interactive>:22:1
pattern Purep
:: forall {a}.
(Eq a, Num a) =>
forall {a1}.
Show a1 =>
a -> a1 -> ([a], ExProv)
-- Defined at <interactive>:23:1
pattern Pep :: () => forall {a}. Show a => a -> ExProv
-- Defined at <interactive>:24:1
pattern Pup :: forall {a}. () => Show a => a -> UnivProv a
-- Defined at <interactive>:25:1
pattern Puep
:: forall {b}. () => forall {a}. Show a => a -> b -> (ExProv, b)
-- Defined at <interactive>:26:1
|