Type-machine: Using Template Haskell for Record Structure Derivation and Structural Subtyping in Haskell

Using Template Haskell to derive the structure of records and simulate structural subtyping