Of course, but that doesn't break the type system:...

# announcements

[karelpeeters]

Of course, but that doesn't break the type system: you can only use the more general implementation if you're sure you have an instance of B.