ScopedTypeVariables
https://zenn.dev/tobi462/articles/9010e7d9c4f759
asTypeOf
/LugendrePublic/字句的スコープを持つ型変数