lifted display functions into MonadIO