像Maybe Int这样的可选类型的直觉是没有 Int（因此，那里有Nothing）或者 some Int;那里有东西。
对我来说，我们称之为“负面”案例Nothing的类型构造函数是有道理的，因为它意味着 - 那里没有Int。但是，为什么在重点是实际存在的情况下使用 Just 这个词？
对我而言，“Just”这个词的含义是，它所描述的东西 比替代品 ;与实际存在的东西相反;例如，
答：你今晚有什么事吗？B：不;我只是会留在电视里看。
答：你有没有调查过你房子周围令人毛骨悚然的鬼声？B：是的，事实证明它实际上是只是一只猫头鹰。
显然，我缺乏这种命名选择所基于的直觉。它是什么？因为对我而言， Just 这个词意味着它与Maybe类型中使用的方式相反。