people will find it helpful to have NonEmpty exported