Haskell - Аппликативные/Monad экземпляры

Question

Я видел, что тип pure 1 составляет (Num a, Applicative f) => f a, что совершенно очевидно. Так что, если я хотел бы сделать его Maybe Int:

Prelude> pure 1 :: Maybe Int 
Just 1 

Что об этом?

Prelude> pure 1 
1 
Prelude> return 1 
1 

Что происходит? Почему он не жалуется, что не знает, какой экземпляр выбрать?

Редактировать

Я думаю, что такое поведение на самом деле не имеет ничего общего с монадами или аппликативными, но это был контекст, я пришел к нему ...

Answer 1

Это особенность GHCI. Он имеет специальную обработку для действий IO, которые не только “ вычислено ” и напечатаны (вы все равно не можете печатать действие IO), но выполнено и результат^{& dagger;} печатных. Так,

Prelude> pure 1 :: IO Integer 
1 

Согласно комментарий behzad.nouri в, here's the relevant manual section.

---

^{& dagger;}_{IO a с Show a, а не a~(), в противном случае только действие выполнено.}