> [We should address this in the spec…](https://github.com/ericelliott/rtype/pull/117#issuecomment-262121013) Does the type cover the argument *and* the default? If so we couldn't have a default of a different type than the type declared.