You can use `T.stringof` here.