関数に副作用があるかどうかが型を見るだけで解るのは利点