On: Untapped potential in Rust's type system

[weltensturm]

Heh, this sounds just like the global event system I made for my D window manager: https://github.com/weltensturm/flatman/blob/master/common/ev... (which has some extra jingles with method annotations and event filters for convenience)