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