It occupies a sweet spot on at least two axes: 1. Procedural -- OO (with its interface subtyping resembling Haskell type classes with default instances for eve

It occupies a sweet spot on at least two axes: 1. Procedural -- OO (with its interface subtyping resembling Haskell type classes with default instances for every type) 2. Languages without safe automatic memory management -- languages with an explicit VM Occupying sweet spots is usually opposed to having radically unique features.