Isn't it beautiful? ``` ghci> :type Nothing Nothing :: Maybe a```