Especificação pura da IO monad
