Monads in Nim