I see your point, but that&#x27;s like arguing compiled Haskell code is unsafe, since Haskell has type erasure.<p>Any code generation machinery is subject to subtle bugs and especially so the flesh and bones kind ;)