Substrate

#monoid #equivalence #mio-alter