Request to add a new function `notNull` to DA.Foldable

G-d willing

Hello,
In the resource DA.Foldable there is the null function. Is it possible to add notNull function as well?
There is already such a function, but it exists in the DAML finance library,

Would you be willing to submit a PR, similar to this one?

Yes, of course. I will