Does this generate type-safe code? We ended up using https://www.hypertune.com/ to solve that problem.