Interface ProcedureDecoder<T,​S>