{-# LANGUAGE PatternSynonyms #-} pattern A <- (True, True) where A = (not $ False && True, True) exp = not $ False && True