fix package:bifunctors

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