Um, didn't you try that before? You spent a while on type bounds when you wrote this?