関係ないけど caseでlet使うとき前に書くかカッコの中に書くかみたいな話どっかで前にあったけど、この自動で挿入されるコードはカッコのなかにletがあるタイプのやつだな