<div dir="ltr">Hi!<br><br>I strongly support adding this to base, I personally have had to use something like this quite often.<br>One suggestion I have though is to use [NonEmpty a] as the return type, as NonEmpty is already in base and it is a more accurate type.<br><br>======<br>Georgi</div>