hom-is-the-identity-profunctor