Specialize functions to TErrorT, fix prefixError to use Show
Export NonEmpty constructor