Oh man, major brain fart there. You're completely right of course. I was thinking of the transition to classes-as-types in general. Probably would've helped if

Oh man, major brain fart there. You're completely right of course. I was thinking of the transition to classes-as-types in general. Probably would've helped if I actually read the page I linked...