ErrorResponse: TypeCodec<{ error: TrivialCodec<string> }> = ...