Reading some Haskell papers. The ideas are very interesting, but the fact they used a monadic interface is less so.