Re: [GHC] #11962: Support induction recursion