A small bifunctor library for idris