Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs. - Robert Krook; Samuel Hammersberg (Haskell, 2024)