Why bind has signature a → m b | Hacker News Reader