According to this <http://www.randomhacks.net/articles/2007/03/10/haskell-8-ways-to-report-errors> Either is an instance of class Monad, but when I try to use the do notation I get a compiler error. What's going on? E.