:ram: A minimalist Runtime Type-System with Unions/Records/PatternMatching - View it on GitHub