Type classes for traversing monomorphic containers
