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