But you want this across arbitrary `Has*Components...

# announcements

[cedric]

But you want this across arbitrary Has*Components, which is a pretty advanced thing for a type system