正如问题的标题所示,我想知道什么是Levity多态性及其动机是什么？我知道这个页面里面有一些细节,但大部分的解释都是我的头脑.:)
虽然这个页面更友好,但我仍然无法理解它背后的动机.
haskell
haskell ×1