jin/subtyping

An implementation of structural subtyping of records and functions

Haskell