An experiment in a statically typed LFE with algebraic data types - View it on GitHub