The Bifunctors package authored by Edward Kmett
