úÎ,s      Safe-Inferred    Safe-Inferred !"#$%&'()*+,-./     !"#$%&'()*+,-./ Safe-Inferred01234   012345       !"#$%&'()*+,-./01234567notzero-0.0.10 Data.NotZeroData.NotZeroOrData.AccNotZeroOrNotZero getNotZeronotZero notZeroElsenotZero1 notZeroElse1NumberM NotZeroOrTNumber NotZeroOr OrNotZero IsNotZero _IsNotZero _OrNotZero isoNotZeroOr getNumber isoNumber isoNotZeroOrTnumberM OneNotZeroOr AccNotZeroOr OrAccNotZero IsAccNotZero _IsAccNotZero _OrAccNotZeroisoAccNotZeroOrisoOneNotZeroOrisoOneNotZeroOrNumberisoOneNotZeroOrT$fMonoidNotZero$fSemigroupNotZerobind$fMonadTransNotZeroOrT$fBindTransNotZeroOrT$fMonadNotZeroOrT$fBindNotZeroOrT$fApplicativeNotZeroOrT$fApplyNotZeroOrT$fFunctorNotZeroOrT$fMonadNotZeroOr$fBindNotZeroOr$fApplicativeNotZeroOr$fApplyNotZeroOr$fFunctorNotZeroOr$fMonoidNotZeroOr$fSemigroupNotZeroOr$fApplicativeAccNotZeroOr$fApplyAccNotZeroOr$fFunctorAccNotZeroOr$fMonoidAccNotZeroOr$fSemigroupAccNotZeroOr