• x:\E α.{val : α, op : α→ Int}

  • x = pack[α = Int  in  {val:α, op:α→ Int} ]((3,S))

  • x.op(x.val) = 4

  
  • interface - type  \E α. {val : α, op : α→ Int}

  • representation - α = Int

  • contents - (3,S)


slide: Packages -- examples