I actually figured this out—this is because we want you to be able to type `Box.asA[Int](...)`.

Without the existential type, you'd have to provide the type of the parameter you're passing
in as well, which is lame and ugly.