Accepting a DecoratedProcedure with inputs and outputs that extend some given types

Llithdew5/24/2023
Is there any way to accept a DecoratedProcedure that extends { mutate: Resolver<TProcedure> } where TProcedure is guaranteed to have its inputs be something that extend the object { nextFollowerId: string }, and the outputs are a string?