Honestly, I think the tooling should allow you to write just function html2wikitext($config, $html, $options = [], $data) and then infer the types, and su

Honestly, I think the tooling should allow you to write just function html2wikitext($config, $html, $options = [], $data) and then infer the types, and subsequently enforce them. The typechecker should only complain when it can't infer the types (a-la strict). If you use tooling to reduce verbosity, you'll have best of both worlds simultaneously.