Interface InferableType