On Tue, Feb 27, 2018 at 11:38:21AM +0100, Jeroen Bransen wrote: > In my concrete case I think a profunctor is indeed the thing I was looking > for If you're willing to share your datatype I may be able to help determine exactly what sort of thing it is. I have extensively explored the place of profunctors :)