Map Comprehensions

5 June 2014

An idea for a useful indexed monad: the map comprehension.