RankNTypes

StackOverflow 迫使我有一个例子。如果此主题获得批准,我们应该在此处移动此示例。