This project uses GHC.Generics to generate TypeScript type definitions that match the Generic Aseon encoding for the same type. Included here are tests that round trip by compling the TypeScript with tsc, and checking that generated values type check.