Revisit PInvariant #9
Description
Currently PInvariant#pimap has type F[A] => Iso[A, B] => F[B]. The convention of putting the type to inject as the left type parameter (e.g. Int => Json) makes this a bit awkward to use, so perhaps it should be F[B] => Iso[A, B] => F[A].