úΫ      Safe-Inferred Safe-Inferred  !"#$%&'()*+,      !"#$%&'()*+, Safe-Inferred-./01   -./012       !"#$%&'()*+,-./01234 notzero-0.0.8 Data.NotZeroData.NotZeroOrData.AccNotZeroOrNotZero getNotZeronotZero notZeroElsenotZero1 NotZeroOrTNumber NotZeroOr OrNotZero IsNotZero _IsNotZero _OrNotZero isoNotZeroOr getNumber isoNumber isoNotZeroOrT 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