lifted parsing functions into MonadIO