fix -package:rio package:bifunctors

Greatest fixpoint of a Bifunctor (a Functor over the first argument with zipping).