blob: 557b8f4a746a3a771cf0bffb3fe4f71595882a46 (
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 k2 k1 (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
|
