salida de entero a la salida estándar en Haskell

Question

Tengo una función simple como:

nth :: Integer -> Integer 

y trato de imprimir que es el resultado de la siguiente manera: se genera

main = do 
    n <- getLine 
    result <- nth (read n :: Integer) 
    print result 

el siguiente error:

Couldn't match expected type `IO t0' with actual type `Integer' 
In the return type of a call of `nth' 
In a stmt of a 'do' expression: 
    result <- nth (read n :: Integer) 

También intenté con putStrLn y muchas otras combinaciones sin suerte.
No puedo entenderlo y necesitaría ayuda, ya que no entiendo completamente cómo funcionan las cosas en torno a estos IO s.

Answer 1

nth es una función, no una acción IO:

main = do 
    n <- getLine 
    let result = nth (read n :: Integer) 
    print result 

Answer 2

La sintaxis do desenvuelve algo dentro de una mónada. Todo en el lado derecho de la flecha debe vivir dentro de la mónada IO, de lo contrario, los tipos no se verifican. Un IO Integer estaría bien en su programa. do es el azúcar sintáctica para la función más explícita que se escribe como sigue:

Recordemos que (>>=) :: m a -> (a -> m b) -> m b

main = getLine >>= (\x -> 
     nth >>= (\y -> 
     print y)) 

Pero nth no es un valor monádico, por lo que no tiene sentido aplicar la función (>>=) , que requiere algo con el tipo IO a.