小编Nos*_*lia的帖子

我试过:t (.) headGHCi并得到结果(a -> [c]) -> a -> c 我对此非常困惑.有人能给我一个提示来帮助我理解这一点吗？

对于我自己的想法,结果应该是 ([a] -> a -> c)-> a -> c