3 ms·Nice! I like how unit/void arise naturally from empty record/sum types.by chombier 8y agoNice! I like how unit/void arise naturally from empty record/sum types.