3 ms·And ‘monoid’ isn't even from type theory!by Twey 1y agoAnd ‘monoid’ isn't even from type theory!