{-# LANGUAGE PatternSynonyms #-}


pattern Syn :: Typ

pattern Syn :: () => () => Typ

pattern Syn :: Show a => Show b => Typ

pattern Syn :: Show b => Typ

pattern Syn :: Show b => () => Typ

pattern Syn :: () => Show b => Typ