>>580>型推論だけをモジュール化
それ、結構面白いかもしれない