clarifies transitiveness of dependency on macro paradise