つまり静的型では、そういうconventionなしに
単に型だけで整合性を取ろうとするんだね。

怖すぎて使う気になれねえw