Who says it has to feel much at all like DTLs of today? I probably do want to be at least warned when the compiler can't be sure my bash is terminating. And I'

Who says it has to feel much at all like DTLs of today? I probably do want to be at least warned when the compiler can't be sure my bash is terminating. And I'd love Bash embedded in a DT. Even if I never write the DT components being able to nicely map Bash -> DT is powerful. Finally, I'd love Bash with sum types.