'मोनाड ((,) डब्ल्यू)' उदाहरण कहीं भी मानक है?

Question

मैं Writer की जोड़ी वर्तनी हर समय का उपयोग करें, लेकिन मैं हमेशा खुद का दृष्टांत के लिए है:

instance (Monoid w) => Monad ((,) w) where 
    return x = (mempty, x) 
    ~(w,x) >>= f = let (w', y) = f x in (w `mappend` w', y) 

इस मानक पुस्तकालयों में कहीं भी रहते है?

Answer 1

टिप्पणी में वर्णित कैमकैन के रूप में, Control.Monad.Instances केवल Functor उदाहरण परिभाषित करता है।

Control.Monad.ApplicativeApplicative उदाहरण परिभाषित करता है।

transformers पैकेज, और इस प्रकार भी संस्करण 2 और mtl पैकेज के ऊपर, एक आवरण समारोह writer :: (a, w) -> Writer w a परिभाषित करते हैं।

लेकिन मुझे कहीं भी Monad उदाहरण नहीं मिला है।