foo = zipWith SymInfo [0 ..] (repeat ty)