compositions take comonoids to comonoids