Type classes for mapping, folding, and traversing monomorphic containers - View it on GitHub