ú΋ ý     (C) 2015 Dimitri SabadieBSD3+Dimitri Sabadie <dimitri.sabadie@gmail.com> experimentalportableNone-./01C   for .  under boolean logical and.  under boolean logical or.   under multiplication.  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: Annhilation  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_CS5jp8pf1um1bcrLPYeexd Data.ZeroSuccess getSuccessAllgetAllAnygetAnyProduct getProductZerozerozconcatsuccessfailure $fZeroSuccess$fSemigroupSuccess $fZeroAll$fSemigroupAll $fZeroAny$fSemigroupAny $fZeroProduct$fSemigroupProduct$fZero()baseGHC.BaseMaybesemig_0YWhjLrJsF14r1DiBdGEwaData.Semigroup SemigroupMonoid<>