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