It's great if the system is built directly on top of it, e.g. spago. Not so much if you're trying to type yaml. Dhall is very opinionated, so trying to use it like TypeScript to type an untyped structure is... interesting.

E.g. for Kubernetes: https://github.com/dhall-lang/dhall-kubernetes