[jonsen]

It is fair enough, that you find the law f(a,a) = a useful. Just don't call it the identity function when it is not.