Better error messages for deriving