make types provide default values