Хех =)

А в целом коллега достаточно не мейнстримовый программист, ЕМНИП

newtype Writer w a = Writer { runWriter :: (a, w) } deriving Show

instance Functor (Writer w) where
  fmap f (Writer (a, w)) = Writer (f a, w)

instance Monoid w => Applicative (Writer w) where
  pure a = Writer (a, mempty)
  Writer (f, w) <*> Writer (a, w') = Writer (f a, w <> w')

instance Monoid w => Monad (Writer w) where
  return = pure
  Writer (a, w) >>= f = let (b, w') = runWriter (f a) in Writer (b, w <> w')

tell :: w -> Writer w ()
tell w = Writer ((), w)

half :: Int -> Writer String Int
half x = do
  tell ("I just halved " ++ show x ++ "!")
  return (x `div` 2)

Подскажите плиз, почему half 8 возвращает

Writer {runWriter = (4,"I just halved 8!")}

Мне не понятно, как return связался с результатом предпоследней строки, которая возвращает Writer [Char] ()

Вижу что

pure a = Writer (a, mempty)

но почему в качестве mempty выступает "I just halved 8!"

newtype Writer w a = Writer { runWriter :: (a, w) } deriving Show

instance Functor (Writer w) where
  fmap f (Writer (a, w)) = Writer (f a, w)

instance Monoid w => Applicative (Writer w) where
  pure a = Writer (a, mempty)
  Writer (f, w) <*> Writer (a, w') = Writer (f a, w <> w')

instance Monoid w => Monad (Writer w) where
  return = pure
  Writer (a, w) >>= f = let (b, w') = runWriter (f a) in Writer (b, w <> w')

tell :: w -> Writer w ()
tell w = Writer ((), w)

half :: Int -> Writer String Int
half x = do
  tell ("I just halved " ++ show x ++ "!")
  return (x `div` 2)

Writer {runWriter = (4,"I just halved 8!")}

pure a = Writer (a, mempty)

В качестве mempty выступает "".
Результат "связался" благодаря использованию (>>=) — к существующему логу ("I just halved 8!") добавился лог от return ("").

tell задаёт тип

ааа, тогда все встаёт на свои места, спасибо

Если tell закомментировать, то тип half будет полиморфный: Monoid a => Writer a Int

Ну, формально нет)
У half тип лога явно указан, поэтому просто закомментировать строку с tell будет недостаточно.

Да, надо бы ещё ослабить руками написанную сигнатуру

открыл папочку с стэкскриптами чтоб попробовать что нового в HLS 1.0 в вскоде, а там что-то про cradle, кто знает к чему это? Раст тут ни при чем вроде
No cradle found for filename.hs. Proceeding with implicit cradle. You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.
могу конечно и игноре, но не работать перестало что-то

cradle это просто кроватка или колыбель, слово такое. Rust тут ни при чём

Почитайте про hie-bios и про то, что нужно писать для stack в hie.yaml

You should ignore this message

Есть код - https://pastebin.com/3YJ0zysU

и вот такая ошибка

не пойму откуда она берется

методы Currency не импортированы

import qualified Money(Amount, Currency(..))

кроме того, сам Money модуль не экспортирует методы Currency