let contained :x :y w =
  forget_type w = containing :x :y ()