Functor package:first-class-families

Bifunctors. Bifunctors are "two-argument functors". This module is the type-level equivalent of Data.Bifunctor.