profunctors 4.2 and contravariant 1.1