A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.