une :: Ord a => Set a -> Endom (Skel a)
prune cs = subst (substMember (cs, Zero) Act)


prune :: Ord a => Set a -> Endom (Skel a)
prune cs = subst (substMember (cs, Zero) Act)
prune cs = subst (substMember (cs, Zero) Act)