idris-functors (bower): Bifunctors and functor products, coproducts, and composition
Keywords: idris|functor|functors|bifunctor|bifunctors|composition|coproduct|functor-products