Thanks, but it doesn't really answer the original question. Catch clauses and rejections are rightfully untyped. I thought he tried to explain something differently

Comments