{-# LANGUAGE PatternSynonyms #-}

pattern A = Nothing

pattern B a = Just a

pattern a :+: b = (a,b)

pattern Tuple a b = (a,b)

pattern    A = Nothing

pattern B a    = Just a

pattern a :+: b =     (a,b)