fun f(x : void) : All t.t is
  Fun t in
    x
  end
end
;