fix -package:probability -package:universum package:bifunctors

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