I'm not an expert and I don't do value judgments, but I think he's talking about something called 'smart contracts'.
Haskell would make it easier to verify smart contracts.
I thought he was talking about use cases like those as Cardano and with "some of the very founding contributors" he meant Philip Wadler (amongst others).
EDIT: didn't want to imply that Cardano is a shady company.