shapely functors and traversals (1998)

by Monads