Monad nyaéta struktur matématika dina pamrograman fungsional anu nyayogikeun cara pikeun modél komputasi anu ngagaduhan efek samping. Ieu mangrupikeun cara pikeun ngaabstrak éfék samping sareng nyayogikeun cara anu bersih sareng kompak pikeun ngalakukeun komputasi ieu. Dina Haskell, monad ditetepkeun salaku tipe konstruktor m sareng dua fungsi balik sareng >>= (bind). Konstruksi tipe m dianggo pikeun ngabungkus nilai sareng fungsi balik dianggo pikeun ngangkat nilai kana monad. Fungsi >>= dianggo pikeun urutan komputasi dina monad. Ieu mangrupikeun conto tina palaksanaan saderhana monad dina Haskell: >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >>
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence