Type.List

data Lst l

type family FromLst a

type family Removed el cont :: l

type family RemovedIdx idx cont :: l

type family ElAt idx cont :: l

type family SuccMaybe m

data Recursive a

type family Head lst

type family Head' lst

type family UniqueFix lst

type family Reverse' lst lst'

type family Take n lst