dimap-curried and fix forget

dimap-curried as a convenience
dimap is supposed to return the same profunctor again, even for forget,
oops. This is why Haskell is nice.