fix compositionality of error messages in Category instance