Why is the type of this function (a -> a) -> a?

2020-12-27 11:45发布