type family Removed el cont :: l

type family RemovedIdx idx cont :: l

type family ElAt idx cont :: l