fix -package:hegg -package:relude package:bifunctors

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