Type.Promotion

class Known t val