ditto can use `T.stringof`.