RankNTypes

StackOverflow 迫使我有一個例子。如果此主題獲得批准,我們應該在此處移動此示例。