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?