I would like to have T inferred to Foo and F to Ba...

# announcements

[spand]

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