4 results
Core data structures and operations
Immediately lifts to a desired level
Concrete functor and monad transformers
Open unions without need for Typeable