Yes, I can change that. Writing `case` was less effort than writing three times `val`. ;)