我试图说服自己类型Fix和功能fix是一回事。
但我找不到它们定义之间的相关性
-- definition of fix
fix :: (p -> p) -> p
fix f = let {x = f x} in x -- or fix f = f (fix f)
-- definition of Fix
newtype Fix f = Fix { unFix :: f (Fix f) }
构造函数如何Fix适应 的形式(x -> x) -> x？