Just having a nice way to define datatypes is already a big win against dynamic languages: type tree = Empty | Leaf of int | No

Just having a nice way to define datatypes is already a big win against dynamic languages: type tree = Empty | Leaf of int | Node of tree * tree What I would like to know is: could it have Python's community/libraries, or the language itself somehow prevents this blossoming from happening?