ML has been around for 40 years, but only lately have algebraic data types been catching on somewhat.