Sun Mar 4 16:38:11 CET 2018

SimpleML to Typed Erlang?

To embed this in Haskell, it is simplest to stick to diadic sums and
products.  However, that will lead to very ugly Erlang data types.

How to solve?
- Somehow generate the type classes to include more types?
- Create conversion functions to translate between "public" and "private" representations