Cardano needs a strong system that can use elaborate and heavy tools and techniques while still having a reasonable expectation of fault tolerance, both of which Haskell is able to satisfy.