Haskell implementation of Generating Mutually Recursive Definitions (Yallop, Kiselyov) Requires GHC 8.12