Is it the type checking or the runtime that's slow?