fix -package:can-i-haz -package:base-prelude package:bifunctors

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