The MOOP language implemented in Haskell