Case-lambda. All tests pass.