úÎ ³ SafeTAnnihilators are semigroups with annihilators, i.e. the following laws should hold:ann >|> b = anna >|> ann = ann a >|> b = bAnnihilating element of .IAnnihilating operator, returns the rightmost element if no annihilators  are present.Flipped version of .Annihilating concatenation.EMonadic append with the annihilating operator guarding each argument.LMonadic concatenation with the annihilating operator guarding each argument. Discard the argument and return .         annih_8fASnWCKd9BGWqPlDRRxAeControl.Annihilator Annihilatorann>|><|<aconcatamappendamconcatavoidisAnn$fAnnihilator(,)$fAnnihilator[]$fAnnihilatorMaybe$fAnnihilator()