regression - the 'isEmpty*' set of functions cause a true condition to return type 'never'