I guess I don’t see how the type system can verify...

# announcements

[jkwatson]

I guess I don’t see how the type system can verify that I’m doing things in the right order to the right collaborators.