Capisco (più o meno) standard monadi come Option (Maybe), List, State, Reader, Writerecc. Lo sono universale e può essere trovato in qualsiasi applicazione. Altri esempi di universale le monadi sono iteratori, stream, raccolte di dati, ecc.
Ora mi piacerebbe vedere domain-specific monadi. Un esempio è Parser monade. È non universale come Option, List, State, ecc. poiché incapsula dominio specifico analisi logica.
Quali sono gli altri dominio specifico monadi a cui puoi pensare?