Data.Type.List

type family Map f xs

data Map''

data Map'

type family ZipWith f xs ys

data ZipWith'''

data ZipWith''

data ZipWith'

type family Length xs

lengthVal

data Length'

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 Find x ys

data Find''

data Find'

type family Intersection xs ys

data Intersection''

data Intersection'

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'