Oh indeed, you need |, and the ability to compose the type parameters, etc. It's why I said "right" rather than right.