{-# LANGUAGE PatternSynonyms #-} module T8759a where foo = [d| pattern Q = False |]