3 ms·Type systems : a new campaign for functional programming rebels without a cause1 points by steeleduncan 13y ago