They work OK in typed racket, but you will have to help the type checker a bit for the more complex macros. And they provide utility that the type system doesn

They work OK in typed racket, but you will have to help the type checker a bit for the more complex macros. And they provide utility that the type system doesn't. The for style loops are extremely useful