This is a tiny nitpick, but don't we typically avoid unicode arrows in the Scala codebase? I seldom see them.