1{-# LANGUAGE PatternSynonyms #-}
2
3pattern A = Nothing
4
5pattern B a = Just a
6
7pattern a :+: b = (a,b)
8
9pattern Tuple a b = (a,b)
10
11pattern    A = Nothing
12
13pattern B a    = Just a
14
15pattern a :+: b =     (a,b)
16
17