matryoshka
A function to be called like attributeElgotM[M](myElgotAlgebraM).
attributeElgotM[M](myElgotAlgebraM)
A function to be called like
attributeElgotM[M](myElgotAlgebraM)
.