Wyjście Integer do stdout w Haskell

Question

Mam proste funkcji takich jak:

nth :: Integer -> Integer 

I próbuję wydrukować to wynik następująco:

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

następujący błąd jest generowany:

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) 

Próbowano również z putStrLn i wieloma innymi kombinacjami bez powodzenia.
Nie mogę tego rozgryźć i potrzebowałbym pomocy, ponieważ nie w pełni rozumiem, jak działają te elementy wokół tych IO.

Answer 1

nth jest funkcją, a nie IO działanie:

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

Answer 2

Składnia do rozpakowuje coś w monady. Wszystko po prawej stronie strzały musi żyć w monosie IO, w przeciwnym razie typy nie sprawdzają. An IO Integer będzie w porządku w twoim programie. do jest cukier syntaktyczny dla bardziej wyraźnej funkcji, które byłyby zapisać w następujący sposób:

Przypomnijmy, że (>>=) :: m a -> (a -> m b) -> m b

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

Ale nth nie jest wartością monadycznego, więc nie ma sensu, aby zastosować funkcję (>>=) , który wymaga czegoś z typem IO a.