składnia deklaracji monady ST

Question

Niedawno zacząłem przeglądać biblioteki rdzeniowe w Hackage i istnieje powtarzający się język, którego nie rozumiem. Oto przykład z 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) }}) 

W szczególności nie rozumiem (# new_s, r #). Zakładam, że drugi hash odnosi się do nieskrępowanej wartości, ale reszta jest dla mnie tajemnicą (prawdopodobnie coś związanego z "nowym stanem").

Answer 1

(# x, y, z #) to rozpakowana krotka z trzema elementami. Zobacz "8.2.2 Unboxed Tuples" pod adresem https://downloads.haskell.org/~ghc/6.8.3/docs/html/users_guide/primitives.html.

Reszta to w zasadzie tylko realizacja państwa.