Move types and an instance of MonadIO to Lisp object