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