pub type TyCheckResult<T> = Result<T, TyCheckError>;