id [ Int ] : Int → Int
slide
:
Bounded quantification -- examples