1{-# LANGUAGE PatternSynonyms #-}
2
3pattern Head x <- x : xs
4
5pattern Head' x <-
6  x : xs
7
8pattern Head'' {x} <-
9  x : xs
10
11pattern FirstTwo {x, y} <-
12  x : (y : xs)
13
14pattern FirstTwo'
15  { x,
16    y
17  } <-
18  x : (y : xs)
19
20pattern Simple <- "Simple"
21
22pattern WithTypeSig :: String
23pattern WithTypeSig <- "WithTypeSig"
24