úÎ!"¤)      !"#$%&'(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 (monusA * that supports annihilation, i.e. it is a , where for J values, matching keys will be subtracted, and keys not shared by both s will be discarded.monusCreate a singleton .monusLookup a value in a (. If no value is found, this returns +.None6<KSTxmonus'This type is useful with -XDerivingVia. monusGenerically generate a  ( operation for any type implementing ,'. It is only defined for product types.   a b =   b a   -      !""#$%&'()*+,-.,/0,12,345#monus-0.2.0.0-1bsa463BNyAgEjf63vVS9Data.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.NaturalNaturalGHC.Basemempty GHC.GenericsGeneric