6t      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrsSafeATa ttSafeATa2  !"#$%&'()*+,-./0123456789 2 9876543210/.-, +*)('&%$#"!  .    !"#$%&'()*+,-./0123456789SafeATa;"Not necessarily in counting order.=It turns out there are = instances that are not :. The (c -> s)( instance is based on the algorithm at  Khttp://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/.6uvwx:;<=>?@yABzC{|}DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdef :;<=>?@ABC =>?@:;<ABC1uvwx:;<=>?@yABzC{|}DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefSafeATa ghijklmnopqrsghi hisrqgponmlkj ghijklmnopqrs~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~$countable-1.0-FVYdIZzN551AjDOb7QrABjData.ExpressionData.CountableData.Searchable Data.Empty ExpressionClosedExpressionOpenExpression expressionSymrunValueExpressionrunMatchExpression$fApplicativeExpression$fFunctorExpressionInfiniteCountable 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()Finite allValuesassemble Searchablesearchforsomeforevery finiteSearchfiniteCountPreviousfiniteCountMaybeNext $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$fSearchableMaybeNoneEmptynever $fShowNone $fOrdNone$fEqNone $fEmptyNone $fFiniteNone$fSearchableNone$fCountableNone $fEmpty(->) $fEmpty(,) $fEmptyEitherffmapIsoInfiniteCountableMkIsoInfiniteCountable IsoCountableMkIsoCountable firstJust firstItemsetpairisoCountableFnisoInfiniteCountableFn