That clause is actually not needed. You can just pass everything to body/2 directly without any guard either.