Why not use `tpe.toString`? Somehow I don't think the `: ` filter is necessary.