Causing errors in renaming phase, similar to what mutually recursive datatypes were doing. Easy fix
Causing errors in renaming phase, similar to what mutually recursive datatypes were doing. Easy fix