Tangentially you can use Dhall to get many types for Bash. You can have your opt...

toastal on Oct 24, 2020 | parent | context | favorite | on: Four features that justify a new Unix shell

Tangentially you can use Dhall to get many types for Bash. You can have your options/configuration typed, then have Bash run a loop over it or whatever you need ho do.