@4c9dfcc3 But I think that we both agree that ADTs should be adopted by more languages. It is a concept that should be decoupled from specific languages.