型推論が型検査と一緒もしくは一緒じゃないことがわかることでどういう嬉しさがあるの?