Haskell 3 Type-machine Aug 13, 2025 Packed Data support in Haskell Apr 28, 2025 Data.Reify for GADTs Mar 5, 2025