It seems like your suggestion wouldn't allow for subtyping: http://en.wikipedia.org/wiki/Liskov_substitution_principle