If you bind the implementation to a specific type,...

# announcements

[fellshard]

If you bind the implementation to a specific type, it's no longer overriding the base function foo, because it's suddenly restricting the types that the callers can bind.