úÎcXO      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN)Operation on type-level lists and tuples.(c) Marcin Mrotek, 2014BSD3marcin.jan.mrotek@gmail.comNone %&+,:DQRTSwap elements of a type pair."Cons a type pair in reverse order. (Cons a type pair with elements in order.Second element of a type pair.First element of a type pair. Lookup an association type list.3Test if two list do not contain any equal elements.!Type list intersection. &Type list membership test.)Reverse a type-level list.*Helper type family for )./Set difference over type lists.4Remove a type from type list.9Set union over type lists.>Insert a type into a type list.A<Length of a type-level list, as a type-level natural number.H7Zip two list with a curried two-argument type function.M.Maps a curried type function over a type list.N+Length of a type-level list, as an integer.O  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNO  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOMKLIJHFGDEBCAN?@><=:;9785642301/-.+,*)'(&$%"#!    1   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNO         !!"##$$%&&''())*++,,--.//00123(type-list-0.5.0.0-Gjb2opOJ5gCFWxo3RBvKsaData.Type.ListSwap'SwapAsSnd'AsSnd''AsSndAsFst'AsFst''AsFstSnd'SndFst'FstLookup'Lookup''Lookup Distinct' Distinct''Distinct Intersection'Intersection'' IntersectionFind'Find''FindReverse'Reverse ReverseAcc Difference' Difference'' DifferenceRemove'Remove''RemoveUnion'Union''UnionInsert'Insert''InsertLength'LengthZipWith' ZipWith'' ZipWith'''ZipWithMap'Map''Map lengthVal