úÎ{NoneQGenerates a predicate with name isC for each constructor C of the given type T Generate predicates of the form isC$(makePredicates ''E)isPlus (Plus (Lit 1) (Lit 2))True Generate predicates of the form isNotC$(makePredicatesNot ''E)isNotAnd (Showable True)True#Generate predicates of both forms, isC and isNotCK$(makePredicatesAll ''E) "a $(makePredicates ''E) ; $(makePredicatesNot ''E)        is-0.2Data.Generics.IsisisNotisPisNotPmakePredicatesmakePredicatesNotmakePredicatesAllderivePredicatesisPBaseisBase