2 ms·F-algebras Or: How I Learned to Stop Worrying and Love the Type System4 points by mightybyte 10y ago