What is the intention of replacing all the `⇒` with `=>`?