3 ms·i would be pleasantly suprised to find an extensional type system in a mainstream language :)by kiriakasis 9y agoi would be pleasantly suprised to find an extensional type system in a mainstream language :)