> I was hooked on the idea of having a type safe data record that was also immutable
Me too, thus I wrote https://github.com/gcanti/tcomb
Me too, thus I wrote https://github.com/gcanti/tcomb
That's very cool! But it's runtime checking only, right? I was aiming for compile-time checking.