These should be Str_of<T> or Blob_of<T>. Execution decorators can deserialize the result and lift T?