It’s kind of weird that the first Mario movie (the 1986 anime film) basically had Isekai elements.