Removing experimental monad code