A small profunctor library for idris