Interfaces.Traversable: foldM, mapM, sequence
simple Traversable functor in List