Default values for ImplicitParam