Each is a typeclass that defines a Traversal from a monomorphic container S to all of its elements of type A.
Each
Traversal
S
A