An abstract type that of homotopy that involves parameters. Can be specialized to produce SpecializedParameterHomotopy.
The object ParameterHomotopy is a type, with ancestor classes MutableHashTable < HashTable < Thing.