Predicates

Given a constructor K for a type T which implements Generic, and a value a of type T, 'isC K a' evaluates a to WHNF, and returns True if K is the head constructor of the result.

not . isC K ≡ isNotC K

$(is 'K) ≡ isC K