Syntax der ST-Monad-Deklaration

Question

Ich habe kürzlich begonnen, Kernbibliotheken auf Hackage zu betrachten, und es gibt eine wiederkehrende Redewendung, die ich nicht verstehe. Hier ist ein Beispiel aus dem ST module:

instance Monad (ST s) where 
    {-# INLINE (>>=) #-} 
    (>>) = (*>) 
    (ST m) >>= k 
     = ST (\ s -> 
     case (m s) of { (# new_s, r #) -> 
     case (k r) of { ST k2 -> 
     (k2 new_s) }}) 

Insbesondere ich nicht (# new_s, r #) verstehen. Ich nehme an, der zweite Hash bezieht sich auf einen ungepackten Wert, aber der Rest ist ein Mysterium für mich (vermutlich etwas mit "neuem Staat" zu tun).

Answer 1

(# x, y, z #) ist ein ungeboxtes Tupel mit drei Elementen. Siehe "8.2.2. Ungepackte Tupel" unter https://downloads.haskell.org/~ghc/6.8.3/docs/html/users_guide/primitives.html.

Der Rest ist im Grunde nur eine Implementierung von State.