我最近开始潜入Haskell.它非常有趣,但是Nothing我的定义让人感到困惑并且没有陷入其中.在GHCI上
Nothing
Prelude> :t Nothing Nothing :: Maybe a
不Nothing应该Just Nothing,为什么Maybe a?
Just Nothing
Maybe a
haskell maybe
haskell ×1
maybe ×1