What about having `def tpe: Type = ???` here and in other places?