Well, it can be done simpler. The D compiler can infer those annotations for template functions such as this. So with an implementation you can write:

T identity(T)(T me) { return me; }