Also folding over Either or any other data type wo...
# functional
r
Also folding over Either or any other data type would be from the Foldable type class and unrelated to Monad.