InferError -> Error
Deref