Haskell 4 Using Pattern Synonyms and GHC's CSE Sep 19, 2025 Type-machine Aug 13, 2025 Packed Data support in Haskell Apr 28, 2025 Data.Reify for GADTs Mar 5, 2025