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