show a type-safe approach to programmatic config