generated at
System Fω
無限階のラムダ計算
https://en.wikipedia.org/wiki/System_F#System_Fω
http://ocamllabs.io/fomega/
https://github.com/AndrasKovacs/system-f-omega
TaPL 29,30,31章