Update to 4.0.1

CHANGELOG:
4.0.1
 - Give signatures involving an Iso newtype for the various isomorphisms in
   Composition and Rep
4.0
 * Merged the contents of `profunctor-extras` into `profunctors`.