contramap on the first type parameter and map on the second type parameter
contramap on the first type parameter and map on the second type parameter
contramap on the first type parameter
contramap on the first type parameter
map on the second type parameter
map on the second type parameter
Must obey the laws defined in cats.laws.StrongLaws.