I think this one is okay. Stmt vs Scope is somewhat like covariant vs contravariant.