let
to_list (h:(
'
a,
'
b) t) = h
#
to_list