ImpredicativeTypes
https://qiita.com/mod_poppo/items/806c9c3e0ccb46be92ae
Impredicative Type