ある程度形になってきたことで、逆に型漏れすることや型自体の課題が明らかになってきている感じですね。