I think it's just down to population sizes. There's a mass of people who already have (non-higher-kinded) generics and exceptions in a language they already kn

I think it's just down to population sizes. There's a mass of people who already have (non-higher-kinded) generics and exceptions in a language they already know, so they know what they're missing. Far few people have access to ADTs.