implementation module existMult import Expr :: ExprMult = (*.) infixl 7 Expr Expr instance eval ExprMult instance print ExprMult