MonoidAlgebra.instIsSemisimpleModule (Maschke)