pub type InferenceResult<T> = Result<T, InferenceError>;