RE: Compiling mutually recursive modules involving instances