úÎí'0      !"#$%&'()*+,-./Safe&'(+0357>IKLNNone&'(+0357>IKLN Like  catMaybes for type lists    Safe&'(+0357>IKLN    None&'(+0357>IKLN +Checks that all elements in list are uniqueChecks that element a occurs in a list just once6Removes from first list all elements occured in secondVCalculates 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.' !"#$%&'()*+,012345-.! !"#$%&'()*+,-.!,+*)('&%$#"! -.' !"#$%&'()*+,012345-.None&'(+0357>IKLN/)Apply constraint for each element of list////6      !"#$%&'()*+,-./0123456789:;<typef_DGe6eWNUUb84o5olU2zQDoTypeFun.Data.PeanoTypeFun.Data.MaybeTypeFun.Data.EqTypeFun.Data.ListTypeFun.Constraint:*::-::+:FromNatToNatNZSFromJust CatMaybes JustToConstrNothingToConstr MaybeCaseEqual UniqElements' UniqElements ElementIsUniq Substract Intersect AppendUniq UnionListUnionIsPrefixOfBool IsNotPrefixOf IsPrefixOf NotSubListSubListCountNotElemElemIndices IndicesMayIndexMayIndex IndicesOf IndicesOfMay IndexOfMay' IndexOfMayIndexOf:++:RemoveDeleteTakeDropLengthappendId subListId AllSatisfyIndexNotFoundInListElementIsNotUniqInListListIsPrefixOfListIsNotPrefixOfElementIsInListElementNotFoundInList