I would like to have T inferred to Foo and F to Bar, but when adding the constraint F:T both are inferred to the Bar