I remember when Charles Hoskinson announced that smart contracts on his crypto platform Cardano / Plutus would use Haskell.

It just didn't get anything like the adoption that Solidity had at the time.