let left = inl(7) : int + int
in
  case left of
     inl(x) => x + x
   | inr(y) => y * y
  end
end
;