Data.Functor

Замените содержимое Maybe Int на константу String:

>>> Nothing $> "foo"
Nothing

>>> Just 90210 $> "foo"
Just "foo"

Замените содержимое Either Int Int на константу String, в результате чего получится Either Int String:

>>> Left 8675309 $> "foo"
Left 8675309

>>> Right 8675309 $> "foo"
Right "foo"

Замените каждый элемент списка на константу String:

>>> [1,2,3] $> "foo"
["foo","foo","foo"]

Замените второй элемент пары на константу String:

>>> (1,2) $> "foo"
(1,"foo")

Преобразуйте из Maybe Int в Maybe String используя show:

>>> show <$> Nothing
Nothing

>>> show <$> Just 3
Just "3"

Преобразуйте из Either Int Int в Either Int String используя show:

>>> show <$> Left 17
Left 17

>>> show <$> Right 17
Right "17"

Удвойте каждый элемент списка:

>>> (*2) <$> [1,2,3]
[2,4,6]

Примените even ко второму элементу пары:

>>> even <$> (2,2)
(2,True)

Примените (+1) к списку, Just и Right:

>>> Just 2 <&> (+1)
Just 3

>>> [1,2,3] <&> (+1)
[2,3,4]

>>> Right 3 <&> (+1)
Right 4

>>> unzip (Just ("Hello", "World"))
(Just "Hello",Just "World")

>>> unzip [("I", "love"), ("really", "haskell")]
(["I","really"],["love","haskell"])

Заменить содержимое Maybe Int на единицу:

>>> void Nothing
Nothing

>>> void (Just 3)
Just ()

Заменить содержимое Either Int Int на единицу, что приводит к значению Either Int ():

>>> void (Left 8675309)
Left 8675309

>>> void (Right 8675309)
Right ()

Заменить каждый элемент списка на единицу:

>>> void [1,2,3]
[(),(),()]

Заменить второй элемент пары на единицу:

>>> void (1,2)
(1,())

Игнорировать результат действия IO:

>>> mapM print [1,2]
1
2
[(),()]

>>> void $ mapM print [1,2]
1
2