上的`一個類型的約束 - > B`功能

Question

比方說，我有一個函數簽名的一部分：

f :: (a -> b) -> ...

的類型而定a和b是否有任何限制（如他們kinds） ？

a不能是一個功能，即(c -> d)，可以嗎？

Answer 1

a and b must have kind *，也就是說它們不能是需要參數的類型構造函數。所以他們可能是Integer,(c -> d)或Maybe String，但不是(->),(a ->)或Maybe。

a不能是一個函數，即(c -> d)，可以嗎？

是的，它可以。它可以是任何可能的種類*。