exception e in
   (1, (2, fun f (x:int): int is raise[int] e end))
end
;