RE: Will Haskell be commercialized in the future?

To use a :- promise declaration you would have to trust the author.

It seems like you'd also have to trust the author to write bug-free code too...