A bit of that even though apl arguably push things too far (maybe that's what you implied). Parametric types also help making point, abstract combinators, recursive schemes.. All very helpful to define and manipulate ideas.