{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE NoMonomorphismRestriction #-}

module T8759a where

foo = [d| pattern Q = False |]