{-# LANGUAGE PatternSynonyms #-}

pattern P a <- C a where P a = C a

pattern HeadC x <- x:xs where
  HeadC x = [x]

pattern HeadC' x <-
  x:xs
  where
    HeadC' x = [x]

pattern Simple <- "Simple"
  where
    Simple = "Complicated"

pattern a :< b <-
  (a , b)
  where
    a :< b = (a, b)