Except for the mentions of hashes (which should be a default type parameter)...... yeah that's the return type! There is some changes in store that would make this less absurd.