副作用は型で明示されているのが好き、副作用のある処理名の末尾に!が付いてるのが好き、レベル別