It's possible to infer the type from the default value, if provided. Might as well skip requiring the type.