a type system that's defined by the rule graph and is intertwined with dependency injection is a type system nobody's seen before, or at least that's how i wanna think about it (meaning: i've never used haskell and i've always found it incredibly annoying)