blob: 83e745c60a431de0d52b0d137b2c40c74005339e (
plain)
1
2
3
4
5
6
7
8
9
10
|
pattern Foo :: () => (b ~ a) => a :~~: b
-- Defined at <interactive>:5:1
pattern Bar
:: forall {k1} {k2} {a :: k1} {b :: k2}.
() =>
(k2 ~ k1, b ~~ a) =>
a :~~: b
-- Defined at <interactive>:11:1
pattern Bam :: () => Ord a => a -> a -> (S a, S a)
-- Defined at <interactive>:21:1
|