Reject foralls in constructor args in 'deriving', except for Functor etc