左辺から逆向きに型をひっぱるの、型推論の気分次第で事故ることがあるので明示的なほうが好ましいと思います