daily reminder that the rule graph is imho the coolest type system i'm aware of second maybe to javascript's prototypes