This trivial annotation is useful to test the translation of
annotations from ML to System F: the annotation (t : some a. a) should
be elaborated into an annotation (t : ty) where (ty) is the inferred
type for (t).