Cardano’s new Haskell implementation intends to ‘radically’ improve design