Thinking and Occasionally Typing as a Service

misc