ExprGuiM.Payload need not be Monoid, Ord, Eq, Binary