Bifunctors and biapplicatives - View it on GitHub