I was thinking the same thing (cue parametrized types rant)