|N      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM Safe-Inferred:<M2  !"#$%&'()*+,-./01 210 /.-,+*)('& % $#"! .  !"#$%&'()*+,-./01 Safe-Inferred:<M234N56OP2345624356243N56OP Safe-Inferred:<M8"Not necessarily in counting order.:It turns out there are : instances that are not 7. The (c -> s)( instance is based on the algorithm at  Khttp://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/.6QRST789:;<=U>?V@WXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{| 789:;<=>?@ :;<=789>?@1QRST789:;<=U>?V@WXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{| Safe-Inferred:<M ABCDEFGHIJKLMABC BCMLKAJIHGFED ABCDEFGHIJKLM}      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ countable-0.2Data.CountableData.ExpressionData.Searchable Data.EmptyInfiniteCountable countNextAtLeastOneCountable countFirst Countable countPreviouscountMaybeNext countDownboundedCountPreviousboundedCountMaybeNext maybeRecount countDownUp countUpDownfinalIterationrecount$fInfiniteCountable[]$fAtLeastOneCountable[] $fCountable[]$fInfiniteCountableEither$fInfiniteCountable(,)$fInfiniteCountableMaybe$fInfiniteCountableInteger$fAtLeastOneCountable(,)$fAtLeastOneCountableEither$fAtLeastOneCountableMaybe$fAtLeastOneCountableInteger$fAtLeastOneCountableInt64$fAtLeastOneCountableInt32$fAtLeastOneCountableInt16$fAtLeastOneCountableInt8$fAtLeastOneCountableWord64$fAtLeastOneCountableWord32$fAtLeastOneCountableWord16$fAtLeastOneCountableWord8$fAtLeastOneCountableBool$fAtLeastOneCountable()$fCountable(,)$fCountableEither$fCountableMaybe$fCountableInteger$fCountableInt64$fCountableInt32$fCountableInt16$fCountableInt8$fCountableWord64$fCountableWord32$fCountableWord16$fCountableWord8$fCountableBool $fCountable() ExpressionOpenExpressionClosedExpression expressionSym runExpressionFinite allValuesassemble Searchablesearchforsomeforevery finiteSearchfiniteCountPreviousfiniteCountMaybeNextNothingEmptynever $fShowNothing $fOrdNothing $fEqNothing$fEmptyNothing$fFiniteNothing$fSearchableNothing$fCountableNothing $fEmpty(->) $fEmpty(,) $fEmptyEitherffmap$fApplicativeExpression$fFunctorExpressionIsoInfiniteCountableMkIsoInfiniteCountable IsoCountableMkIsoCountable firstJust firstItemsetpairisoCountableFnisoInfiniteCountableFn $fShow(->) $fFinite(->)$fInfiniteCountable(->)$fAtLeastOneCountable(->)$fCountable(->) $fFinite(,)$fFiniteEither $fFiniteMaybe $fFiniteInt64$fSearchableInt64 $fFiniteInt32$fSearchableInt32 $fFiniteInt16$fSearchableInt16 $fFiniteInt8$fSearchableInt8$fFiniteWord64$fSearchableWord64$fFiniteWord32$fSearchableWord32$fFiniteWord16$fSearchableWord16 $fFiniteWord8$fSearchableWord8 $fFiniteBool$fSearchableBool $fFinite()$fSearchable()$fTraversable(->)$fFoldable(->)$fEq(->)$fSearchable(->)$fSearchable(,)$fSearchableEither$fSearchableMaybe