pub type Fallible<T> = Result<T, NoSolution>;
Many of our internal operations (e.g., unification) are an attempt to perform some operation which may not complete.