Elaborate mutually recursive functions together #13
Description
Causing errors in renaming phase, similar to what mutually recursive datatypes were doing. Easy fix
{{ message }}
Causing errors in renaming phase, similar to what mutually recursive datatypes were doing. Easy fix