Îõ³h$³•9      !"#$%&'()*+,-./012345678None'(-./38>ÀÁÂÉÔÖ×Ù`type-fun)Apply constraint for each element of list Safe-Inferred'(-./38>ÀÁÂÉÔÖ×Ù¤None'(-./38>ÀÁÂÉÔÖ×Ùtype-funLike  catMaybes for type lists Safe-Inferred'(-./38>ÀÁÂÉÔÖ×Ùo type-fun    None'(-./38>ÀÁÂÉÔÖ×ÙO type-fun+Checks that all elements in list are uniquetype-funChecks that element a occurs in a list just oncetype-fun6Removes from first list all elements occured in secondtype-funÖCalculates intersection between two lists. Order of elements is taken from first listtype-fun=Append element to list if element is not already presented intype-funÉAppends elements from first list to second if they are not presented in. type-fun"First argument is prefix of second$type-funÃConstrains that first argument is a sublist of second. Reduces to &(Elem a1 b, Elem a2 b, Elem a3 b, ...)%type-funCount elements in a list&type-fun Reverse of ''type-funÕGenerates unresolvable constraint if fists element is not contained inside of second2type-funRemove index from the list3type-fun3Remove first argument type from anywhere in a list.! !"#$%&'()*+,-./012345678!6543210/.-,+*)('&%$#"! 789      !"#$%&'()*+,-./0123456789:;<=>?%type-fun-0.1.3-16uY0YJRvvj2DnEyZOrW5KTypeFun.ConstraintTypeFun.Data.EqTypeFun.Data.MaybeTypeFun.Data.PeanoTypeFun.Data.List AllSatisfyEqualFromJust CatMaybes JustToConstrNothingToConstr MaybeCase:*::-::+:FromNatToNat KnownPeanopeanoValNZS $fKnownPeanoS $fKnownPeanoZ$fEqN$fOrdN$fReadN$fShowN $fGenericN UniqElements' UniqElements ElementIsUniq Substract Intersect AppendUniq UnionListUnionIsPrefixOfBool IsNotPrefixOf IsPrefixOf NotSubListSubListCountNotElemElemIndices IndicesMayIndexMayIndex IndicesOf IndicesOfMay IndexOfMay' IndexOfMayIndexOf:++:RemoveDeleteTakeDropLengthappendId subListId