Report question

Question: Design patterns for static type checking