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