declare
fun {Future E}
   X
in
   thread X = {E} end
   !!X
end