> It seems to me that people program heavily with types because that's what compilers are really good at. Therefore that's what most languages give us. But I don't want to be constructing huge, complex type hierarchies with every application
That makes no sense, most languages with good generics support barely have type hierarchies (let alone complex one).
That makes no sense, most languages with good generics support barely have type hierarchies (let alone complex one).