Comment by igalklebanov

here's a good write up on the type-safety advantages https://github.com/thetutlage/meta/discussions/8