exception e in
   (3, (4, fun f (x:int): int is e end))
end
;