add BifunctorUsage