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