úÎqoG      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEF)Operation on type-level lists and tuples.(c) Marcin Mrotek, 2014BSD3marcin.jan.mrotek@gmail.comNone !"'(=JKM Swap 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.4Remove a type from type list.9Set union over type lists.>Insert a type into a type list.F.Maps a curried type function over a type list.b  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`aG  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGFDEBCA?@><=:;9785642301/-.+,*)'(&$%"#!    G   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ab         !!"##$$%&&''())*++,,-./0123456789:;<=>?@ABCDEFGHItype-list-0.1.0.0Data.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'LengthMap'Map''MapTFCo:R:Apply(,)(,)Swap'(,)TFCo:R:Apply(,)kAsSnd'bTFCo:R:Apply(->)kAsSnd''aTFCo:R:Apply(,)kAsFst'bTFCo:R:Apply(->)kAsFst''aTFCo:R:Applyk1(,)Snd'(,)TFCo:R:Applyk1(,)Fst'(,)TFCo:R:Applyk[]Lookup'xsTFCo:R:Apply(->)kLookup''xTFCo:R:ApplyBool[]Distinct'ysTFCo:R:Apply(->)[]Distinct''xsTFCo:R:Apply[][]Intersection'ys"TFCo:R:Apply(->)[]Intersection''xsTFCo:R:ApplyBool[]Find'xsTFCo:R:Apply(->)kFind''xTFCo:R:Apply[][]Reverse'xsTFCo:R:Apply[][]Difference'ys TFCo:R:Apply(->)[]Difference''xsTFCo:R:Apply[][]Remove'xsTFCo:R:Apply(->)kRemove''xTFCo:R:Apply[][]Union'ysTFCo:R:Apply(->)[]Union''xsTFCo:R:Apply[][]Insert'xsTFCo:R:Apply(->)kInsert''xTFCo:R:ApplyNat[]Length'xsTFCo:R:Apply[][]Map'lTFCo:R:Apply(->)(->)Map''f