pub type SingleEvalResult<T> = SingleTyCheckResult<T>;