First stab at Biapplicative.
Biapplicative tests.
Mono-instances and more properties.