Type alias Provides<M>

Provides<M>: M extends ApplyTo<infer P>
    ? P
    : M extends FunctionItem<infer P>
        ? P
        : M extends readonly [infer A]
            ? Provides<A>
            : M extends readonly [infer A, ...(infer B)]
                ? Merge<Provides<A>, Provides<B>>
                : M extends []
                    ? Empty
                    : never

Graph produced by a module of type M