So, in the end all of languages move closer to StandardML :D Like even python has sum-types and pattern matching now!