Type-machine
Using Template Haskell to derive the structure of records and simulate structural subtyping Type-machine Code available on GitHub, package available on Hackage. Introduction In Haskell, we usually model data using algebraic data types, like this: 1 data Maybe a = Nothing | Just a Here we defined a Maybe type, which has two constructors, Nothing and Just . The Just constructor has one argument, while Nothing as none. It is common to consider these constructors’ arguments as fields, which c