foo = map (`SymInfo` ty) [0 ..]