vs I want to repl a local module that transitively needs typ