This is arguably less readable, because it's missing some delimiters for your eyes to latch onto. It's also not realistically parseable- the Haskell/Ocaml-like

This is arguably less readable, because it's missing some delimiters for your eyes to latch onto. It's also not realistically parseable- the Haskell/Ocaml-like removal of <>s and ()s relies on application being left-associative, and if you read this under that rule you've changed the meaning (e.g. `From &'a Str`).