Risto-Stevcev/idris-functors

Bifunctors and functor products, coproducts, and composition

IdrisMIT