cond_RepresentableOk (_,t) | canDoGenerics t = Nothing
| otherwise = Just (ptext (sLit "Cannot derive Generic for type") <+> ppr t)
cond_RepresentableOk (_,t) | canDoGenerics t = Nothing
| otherwise = Just (ptext (sLit "Cannot derive Generic for type") <+> ppr t)