úÎ!hB9      !"#$%&'()*+,-./012345678None,-.27=?@AHSUVX…type-fun)Apply constraint for each element of listSafe,-.27=?@AHSUVXSNone,-.27=?@AHSUVXÆtype-funLike  catMaybes for type listsSafe,-.27=?@AHSUVXõ type-fun    None,-.27=?@AHSUVX6 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-funVCalculates intersection between two lists. Order of elements is taken from first listtype-fun=Append element to list if element is not already presented intype-funIAppends elements from first list to second if they are not presented in. type-fun"First argument is prefix of second$type-funDConstanints 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-funUGenerates 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.2-EOaUUck0fBpBbQKMCBo8cHTypeFun.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