۱۸ - ۷تمرین‌های فصل

به ‏‎Nope Monad‎‏ خوش اومدین، جایی که هیچ اتفاقی نمیوفته و هیچکس هم اهمیت نمیده.

data Nope a =
  NopeDotJpg

-- .جدی میگیم. بنویسین‌ش

یه نمونه ِ ‏‎Monad‎‏ برای ‏‎Identity‎‏ بنویسین.

newtype Identity a = Identity a
  deriving (Eq, Ord, Show)

instance Functor Identity where
  fmap = undefined

instance Applicative Identity where
  pure = undefined
  (<*>) = undefined

instance Monad Identity where
  return = pure
  (>>=) = undefined

این احتمالاً از نمونه ِ ‏‎Applicative‎‏‌ِش ساده‌تر باشه. از ‏‎Functor‎‏ ای استفاده کنین که ‏‎Monad‎‏ لازم‌ش داره، و از اونجا ادامه بدین.

data List a =
    Nil
  | Cons a (List a)