ラベル一致性とかは多分大丈夫で型検査も正しく動いてて