2(a)

By the parametricity theorem:

e ⟨∀b. (Int → b → b) → b → b⟩ e








2(b)

<T> LinkedList<T> bad(T x) {

}