foo = map (\ x -> SymInfo x ty) [0 ..]