我想了解如何手动获取此 Haskell 表达式的正确类型。
(\x y z -> (x y) z)
一般来说，我大致了解如何手动确定正确的类型，但对于 lambda 表达式，我完全感到困惑。
lambda haskell types
haskell ×1
lambda ×1
types ×1