let
  class Shape {}
  class Square extends Shape {}
  class Circle extends Shape {}

  function update_radius(circle : Circle) = ()

  var a := new Square
  var b := new Circle
in
  update_radius(b);
  update_radius(a)
end