Data.Type.List

type family Map f xs

data Map''

data Map'

class TypeLength xs

type family Insert a xs

data Insert''

data Insert'

type family Union xs ys

data Union''

data Union'

type family Remove x ys

data Remove''

data Remove'

type family Difference xs ys

data Difference''

data Difference'

type family ReverseAcc xs acc

type family Reverse xs

data Reverse'

type family Intersection xs ys

data Intersection''

data Intersection'

type family Find x ys

data Find''

data Find'

type family Distinct xs ys

data Distinct''

data Distinct'

type family Lookup x l

data Lookup''

data Lookup'

type family Fst k

data Fst'

type family Snd k

data Snd'

type family AsFst a b

data AsFst''

data AsFst'

type family AsSnd a b

data AsSnd''

data AsSnd'

type family Swap k

data Swap'