(*
 * What the heck does the following mean?  I think it's a good example of why
 * we only allow fully instantiated generics in *all* type usage contexts.
 *)
obj Any(?T) = ?T;
forall (a:Any) a = 10;