is

Generic pattern predicates.

Generate predicates of type (t → Bool) from constructors or patterns of type t. Uses either Template Haskell or instances of Generic or Typeable. Generating predicates from arbitrary patterns requires TH.