faassen, 20 days ago

@dabeaz
No, types should be cold as ice, unyielding, but really I don't want them to melt or shatter either. Maybe this take is too hot