1. You create special effect types for each effect you want to track 2. One example: make sure that HTTP routes that are GET will at most just read the DB, not

1. You create special effect types for each effect you want to track 2. One example: make sure that HTTP routes that are GET will at most just read the DB, not write 3. I actually don’t like that the type system is where this is going into. I want to have some form of static analysis, and this is providing it.