úÎ = ¼     (C) 2015 Dimitri SabadieBSD3+Dimitri Sabadie <dimitri.sabadie@gmail.com> experimentalportableNone-./01C   for .Called   because of the absorbing law:    ( a)     =   with a  : element. It s important to understand that the standard  types  i.e. 2 and so on  are already biased, because they re  s. That s why you ll find a few   instances.$Should satisfies the following laws: Annihilation  a    =    a =   Associativity  a  b  c = (a  b)  c = a  (b  c) The zero element.&Concat all the elements according to () and  .A successful value. A failure.               zero_4FSuJf9q7fQ9fuUPNizRu3 Data.Zerobase Data.MonoidgetAllAllgetAnyAny getProductProductSuccess getSuccessZerozerozconcatsuccessfailureGHC.BaseMaybeJustsemig_5wRWt6gLIxSEbzmr7iAXHXData.Semigroup<>Nothing SemigroupMonoid $fZeroSuccess$fSemigroupSuccess $fZeroAll $fZeroAny $fZeroProduct$fZero()