úÎ n ;     (C) 2015 Dimitri SabadieBSD3+Dimitri Sabadie <dimitri.sabadie@gmail.com> experimentalportableNone-./01C  for .  under boolean logical and.  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  .            zero_5mSkJ2GMdeIKTcPQRX8g3w Data.ZeroSuccess getSuccessAllgetAllProduct getProductZerozerozconcat $fZeroSuccess$fSemigroupSuccess $fZeroAll$fSemigroupAll $fZeroProduct$fSemigroupProduct$fZero()baseGHC.BaseMaybesemig_0YWhjLrJsF14r1DiBdGEwaData.Semigroup SemigroupMonoid<>