úÎìM-      !"#$%&'()*+,Safe &'(0357>KLNone &'(0357>KL Like  catMaybes for type lists    Safe &'(0357>KL    None &'(0357>KL +Checks that all elements in list are uniqueChecks that element a occurs in a list just onceVCalculates intersection between two lists. Order of elements is taken from first list=Append element to list if element is not already presented inIAppends elements from first list to second if they are not presented in."First argument is prefix of secondDConstanints that first argument is a sublist of second. Reduces to &(Elem a1 b, Elem a2 b, Elem a3 b, ...)Count elements in a list Reverse of UGenerates unresolvable constraint if fists element is not contained inside of second'Remove index from the list(3Remove first argument type from anywhere in a list.$ !"#$%&'()*+-./012 !"#$%&'()*++*)('&%$#"! $ !"#$%&'()*+-./012None &'(0357>KL,)Apply constraint for each element of list,,,,3      !"#$%&'()*+,-./0123456789typef_0zANovnMDFD2enRFaQrPeETypeFun.Data.PeanoTypeFun.Data.MaybeTypeFun.Data.EqTypeFun.Data.ListTypeFun.Constraint:*::-::+:FromNatToNatNZSFromJust CatMaybes JustToConstrNothingToConstr MaybeCaseEqual UniqElements' UniqElements ElementIsUniq Intersect AppendUniq UnionListUnionIsPrefixOfBool IsNotPrefixOf IsPrefixOf NotSubListSubListCountNotElemElemIndices IndicesMayIndexMayIndex IndicesOf IndicesOfMay IndexOfMay' IndexOfMayIndexOf:++:RemoveDeleteTakeDropLength AllSatisfyIndexNotFoundInListElementIsNotUniqInListListIsPrefixOfListIsNotPrefixOfElementIsInListElementNotFoundInList