Tại sao "trả lại Không có gì" trả lại Không có gì?

Question

"return một" là nghĩa vụ phải quấn một trong bối cảnh của một số đơn nguyên:

*Main> :i return 
class Applicative m => Monad (m :: * -> *) where 
    ... 
    return :: a -> m a 
    ... 
     -- Defined in ‘GHC.Base’ 

Nếu tôi hỏi GHCI gì loại "return Không có gì" được, nó phù hợp với rằng:

*Main> :t return Nothing 
return Nothing :: Monad m => m (Maybe a) 

Nhưng nếu tôi đánh giá nó, tôi thấy không có bên ngoài Monad, chỉ là bên trong có thể:

*Main> return Nothing 
Nothing 

Answer 1

Khi GHCi đi để in một giá trị, nó cố gắng hai điều khác nhau. Trước tiên, nó cố gắng hợp nhất loại với IO a cho một số a. Nếu nó có thể làm điều đó thì nó thực thi hành động IO và cố gắng in kết quả. Nếu nó không thể làm điều đó, nó sẽ cố gắng in giá trị đã cho. Trong trường hợp của bạn, Monad m => m (Maybe a) có thể được hợp nhất với IO (Maybe a).

Rà soát phiên GHCi này có thể giúp:

Prelude> return Nothing 
Nothing 
Prelude> return Nothing :: IO (Maybe a) 
Nothing 
Prelude> return Nothing :: Maybe (Maybe a) 
Just Nothing 
Prelude> Nothing 
Nothing