「ミスが起きない」の意味が違うんだよな。
HaskellとRustでは型に意図された機能がぜんぜん違う。