A library for computing fixpoints over lattices in Haskell - View it on GitHub