It goes even further: because Dhall supports functions one can write a function that will migrate old configs to new format. Migration function can also be type

It goes even further: because Dhall supports functions one can write a function that will migrate old configs to new format. Migration function can also be type checked (it must accept old config format and emit new one). Of course all of this without TC.