Anonymous extensible records and variant types - View it on GitHub