Template with defaulted function parameter