[Haskell-cafe] Monad for binary tree data structure