Few more decades of shell development and the people involved will maybe discover GUI with hotkeys. /s Seriously though, for me their front page fails to give

Few more decades of shell development and the people involved will maybe discover GUI with hotkeys. /s Seriously though, for me their front page fails to give a convicing example how it's better than existing shells for a typical shell workflows. Even the last one, which supposed to demonstrate better error messages, shows a cryptic error "change a or b to be the right types and try again". Perhaps type checking can help to say which argument is wrong and how to fix it? Now it's literally "one of your arguments is wrong, check man and try again".