अगर एक = वापसी बी वापस आती है तो एक = बी करता है?

Question

क्या आप साबित कर सकते हैं कि return a = return b तो a=b? जब मैं = का उपयोग करता हूं, तो मेरा मतलब कानूनों और प्रमाणों में है, Eq वर्ग की भावना नहीं।

हर इकाई है कि मैं जानता हूँ कि यह संतुष्ट करने लगता है, और मैं एक मान्य इकाई नहीं होगा कि नहीं सोच सकते हैं (Const a एक functor और अनुप्रयोगी, लेकिन नहीं एक इकाई है।)

Answer 1

संख्या पर विचार करें तुच्छ मोनाड:

data Trivial a = Cow 

instance Monad Trivial where 
    _ >>= _ = Cow 
    return _ = Cow