beta reduction to simplify pattern matching