úÎ! y )      !"#$%&'(NoneFQTVvmonusNA commutative monoid that supports subtraction. The following laws must hold: Yx <> (y - x) = y <> (x - y) (x - y) - z = x - (y <> z) x - x = mempty mempty - x = memptymonusAn infix synonym for  subtraction. monus Defined as P - Q = P "( ¬Qmonus Defined as P - Q = P "' ¬Qmonus'Unlike the subtraction provided by the ) instance of *, this subtraction is total.6NoneKçNone6<KST ëmonusUseful with -XDerivingVia.  +      !""#$%&'()*+,-.,/01$monus-0.1.0.0-2LzM306FtiEBLft8SkA8LZData.Monoid.MonusData.Map.AnnihilateData.Monoid.Monus.GenericMonusmonus- $fMonusMaybe $fMonus[] $fMonusIO $fMonus(->) $fMonus(,,,,) $fMonus(,,,) $fMonus(,,) $fMonus(,) $fMonus() $fMonusEndo $fMonusAll $fMonusAny $fMonusSum $fMonusSetMap singletonlookup $fMonusMap $fMonoidMap$fSemigroupMap$fEqMap$fOrdMap $fFunctorMap $fFoldableMap $fShowMapGMonusgmonus' WrappedMonusgmonus$fMonusWrappedMonus $fGMonusK1 $fGMonusM1 $fGMonus:*: $fGMonusU1$fGenericWrappedMonus$fSemigroupWrappedMonus$fMonoidWrappedMonusbaseGHC.NumNum GHC.NaturalNatural