I did not even try it but it seems to be a language for the definition of data types. That is, you can formulate any algebraic data type in the language and it

I did not even try it but it seems to be a language for the definition of data types. That is, you can formulate any algebraic data type in the language and it will spit out some code to create/deconstruct values of that datatype. I think this is a very interesting tool but it lacks names.