| cls_key == traversableClassKey = Just (checkFlag Opt_DeriveTraversable `andCond`
cond_functorOK False)
| cls_key == genClassKey = Just (cond_RepresentableOk `andCond`
| cls_key == traversableClassKey = Just (checkFlag Opt_DeriveTraversable `andCond`
cond_functorOK False)
| cls_key == genClassKey = Just (cond_RepresentableOk `andCond`