-- drop without a Sized constraint (caller adjusts the size)
drop :: Size -> Breadth -> Node a -> Node a
drop s i (Node _ v) = Node s (V.drop i v)
drop :: Size -> Breadth -> Node a -> Node a
drop s i (Node _ v) = Node s (V.drop i v)
drop s i (Node _ v) = Node s (V.drop i v)