[jruderman]

Do you need multiple statements if you want your type to be "Freeze if T is Freeze", "Share if T is Share", etc?

[chrismorgan]

Yes, you do. But that's not arduous.