A counter-example: https://daml.com/

Daml is essentially a smart-contract language using Haskell syntax with built-in primitives for privacy & authorization (e.g., so you don't have to either make your whole ledger public or private)

Worth checking out if you're into DLT & PLs! :)

Disclaimer: I work for the company developing this.