and the compiler can automatically find the `(Trav...
# arrow
b
and the compiler can automatically find the
(Traversable t, Monad m)