4 ms·I had Oderski in mind as well when i skimmed this. Likewise I expected a Wadler referenced.by nuclx 10y agoI had Oderski in mind as well when i skimmed this. Likewise I expected a Wadler referenced.