不是Functor / Functor / Applicative / Monad的好例子？在向某人解釋什么是類型類X時(shí)，我很難找到正好是X的數(shù)據(jù)結(jié)構(gòu)的好例子。所以，我請求示例：一個不是Functor的類型構(gòu)造函數(shù)。一個類型構(gòu)造函數(shù)，它是一個Functor，但不是Applicative。一個類型構(gòu)造函數(shù)，它是Applicative，但不是Monad。Monad的類型構(gòu)造函數(shù)。我認(rèn)為Monad到處都有很多例子，但Monad的一個很好的例子與之前的例子有一些關(guān)系可以完成圖片。我尋找彼此相似的示例，區(qū)別僅在于屬于特定類型類的重要方面。如果有人能設(shè)法在這個層次結(jié)構(gòu)的某個地方隱藏一個Arrow的例子（在Applicative和Monad之間嗎？），那也很棒！