pub type SubstitutionMap = FxHashMap<EcoString, Type>;
type param name -> type variable
pub struct SubstitutionMap { /* private fields */ }