Using a Generic Service for Request Data in Effect Typescript

type RawData = string | {[k: string]: string | File };

export class RequestData extends Context.Tag('RequestData')<RequestData, RawData>(){
    /**
     * Query the request data and decode it with the provided schema.
     * The resulting Requirement is made generic over the request data.
     */
    static with = <A, I>(schema: Schema.Schema<A, I, never>) => this.pipe(
        Effect.andThen(Schema.decodeUnknown(schema)),
        a => a as Effect.Effect<A, ParseError, DetailedRequestData<I>>
    );
    /** Provide the request data to an Effect, using the input type information in the Requirement for type checking
     * This is useful for providing the request data in a test.
    */
    static provideService = <A, E, R>(
        data: R extends DetailedRequestData<infer D extends RawData> ? D : never
    ) => (effect: Effect.Effect<A, E, R>) => effect.pipe(
        Effect.provideService(RequestData, data as RawData)
    );
}

interface DetailedRequestData<_ = RawData> extends RequestData {}