Hi Simon, minor error in the Report: Figure 5 that displays the hierarchy of Haskell classes defined in the Pr= elude also includes the MonadPlus class, which, however, is defined in Monad. Cheers, Ralf