good point -- wonder we can catch this during construction of the refined type