Type classes for mapping, folding, and traversing monomorphic containers