How are the "algebraic data types" algebraic if they don't express any relation to each other?
This seems like a cool syntactic layer for people that are already writing Python and wishing for a more functional style. However to call this a functional language would betray the definition.