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