Execute IO simples no Haskeline, dentro da mônada InputT, sem precisar recorrer a inseguros

Dada a prova do código de conceito abaixo, eu gostaria de poder, de alguma forma, executar meufoo função com a capacidade de gerar a stringPaul! e a possibilidade de obter seu valor de retorno dentro doInputT transformador de mônada sem ...