fix -package:ede package:bifunctors -is:exact

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