E-graphs and equality saturation in Haskell | Heykuki News