> Is there a particular reason why the set of SSA functions is a list rather > than a vector? Yes. Space safety. Because when translating from one program to another, one function at a time, Vector.map and Vector.fold keep alive the whole vector, while the corresponding List functions only keep alive the tail. That space leak can hurt on big programs.