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