Don't think the "never" default arm is necessary. If the return type is set and you miss a case TS should complain.