Added missing product instances for Biapplicative and Biapply