+cond_stdOK :: DerivContext -> Condition
+cond_stdOK (Just _) _
+ = Nothing -- Don't check these conservative conditions for
+ -- standalone deriving; just generate the code
+cond_stdOK Nothing (_, rep_tc)
+ | null data_cons = Just (no_cons_why $$ suggestion)
+ | not (null con_whys) = Just (vcat con_whys $$ suggestion)