Descrição
Fornece uma especificação pura da mônada IO de Haskell. Ela pode ajudar testes a descrever e raciocinar sobre comportamentos parecidos com IO sem executar efeitos reais no sistema.
É útil para desenvolvedores que testam código que normalmente leria arquivos, gravaria saída ou interagiria com o mundo externo. É uma biblioteca usada pelo código e não roda como aplicativo.