Rank2Types

Memo

• RankNTypes のエイリアスとして定義されている。

• そのため、Rank3 の関数も定義できる

{-# LANGUAGE Rank2Types #-}

f3 :: ((forall a. a->a) -> Int) -> Bool -> Bool
f3 = undefined

参考リソース

• 9.21. Arbitrary-rank polymorphism