Haga η("a") = "a".