Ah, that's an interesting idea. Static resource usage analysis instead of computation tokens. > Dependent types aren't the easiest thing to pick up. Look at l

Ah, that's an interesting idea. Static resource usage analysis instead of computation tokens. > Dependent types aren't the easiest thing to pick up. Look at liquid types. They're a lot easier to leverage in practice. Liquid Haskell is all just comments on top of a regular Haskell program.