I
is
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.
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.