確かめたけどELMで合ってると思う。書いたけど、試しに一部を書き換えて試すとその時は、コードが違ってます的なエラーが表示される。