hmmm....
You know, I think you've just revealed something about the shallowness of my experience with type systems.