If I try to write an impl like this:
```
impl<T, F> Thing<T> 
where T: Foo<F>
{
    fn new(foo: T) -> Thing<T> {
        Thing { foo: foo }
    }
}
```
I get that `F` is unconstrained