Argument dependent lookup deduces the Dune namespace from the function arguments that are also in namespace Dune.