Compiling mutually recursive modules involving instances