let
call (mt:(
'
a,
'
b) t) (f:(
'
a
->
'
b)) x = mt
#
get f x