fixed stack-overflow due to List.map over rather large list 1M+ elements -- representing an adjacency matrix for dependency graph. sigh.