relational algebra

Map Comprehensions

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

under
                construction