Prove that make E a Monoid can accomplish cool things at Compile time