Pass default values through the type system.