let
first_of_index i =
match
i
with
One
n
|
Many
(n,_)
->
n