I'll merge this but make mention of the fact that comp() with no arguments is just identity.