Show HN: E-graphs and equality saturation in Haskell | Heykuki News