Most of the time is spent in the typechecker.