3 results
Monad classes for transformers, using functional dependencies
Core data structures and operations
A monad and monadic transformer providing "abort" functionality