'mixed' type is not the same as 'undefined'