kleisli: Add homomorphism constraint to kleisli rels