Yeah, you have to explicitly set `default: undefined`, so you can't omit a default altogether.