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

Questions Features & Bugs
,
1

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,

2

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

1 Like
3

Yes, of course. I will