[cs] SomeType >> _ is always of type SomeType
Merge pull request #33 from waneck/ssa_new

[cs] SomeType >> _ is always of type SomeType