let
  type Cube = class {}
  type Circle = class {}
  var cube := new Cube
  var circle := new Circle
in
  cube = circle
end