can obtain initialization ensures from type