<div dir="auto">I just noticed that Data.Graph doesn't offer a transitive closure operation. Looking into implementing one, I discovered that doing so efficiently has been the subject of non-trivial research [*]. So if there's any demand, we should try to implement a reasonably efficient version in containers. Anybody want one?<div dir="auto"><br></div><div dir="auto">[*] <a href="http://www.cs.hut.fi/~enu/thesis.html">http://www.cs.hut.fi/~enu/thesis.html</a></div></div>