Replaces Monoidal pairs with MList