Loosen bifunctor constraint and force reinstalls.