Кидать ошибку как positive2 в Вашем примере -- это не айс, потому что где потом эта ошибка стрельнет? Не тотальные функции -- вот эта вся тема. Надо заворачивать в MonadFail или MonadThrow.

Я могу представить себе преимущество от наворачивания Template Haskell поверх смарт-конструкторов только для тестов. Там полно мест где значения будут конструироваться из литералов и хочется избежать бесконечных fromJust:

$$(positiveTH 1) vs fromJust . positive $ 1

В боевом коде особых преимуществ TH поверх конструктора наверное нет -- там значения приходят снаружи и рантайм проверки не избежать.

Волковская библиотека позволяет делать рантайм проверки. В случае рантайм проверок вопрос остаётся: 1. Refined Positive Int vs 2. Смарт конструктор Positive vs 3. Int.

Я склоняюсь к 1, потому что предикаты можно композить:

Refined (And Positive Even) Int

А как композить типы с смарт-конструкторами не очень понятно.

Проблема описанная выше гораздо более конкретная, недели описано. 1. stack ни при чём, совершенно неважно чем вы собираете исполняемый файл. 2. А вот OS может быть важной, судя по вопросу это Windows? 3. Если это Windows то может быть важен терминал и установка кодировки. 4 Но скорее важно то, как вы читаете и выводите файл, скорее всего чтение через Data.ByteString.readFile, а вывод через Data.Text.putStrLn с конвертацией через Data.Text.Encoding.decodeUtf8 вам поможет

* Couldn't match expected type `ByteString'                   with actual type `IO ByteString'

ругается вот на этот код:

module Main where
import Data.Text.IO as DTIO
import Data.Text.Encoding as DTE
import Data.ByteString as BS
— ...
utfFromFile4 :: ByteString -> Text
utfFromFile4 txt = DTE.decodeUtf8 txt
— ...
main :: IO()
main = do
   — ...
   DTIO.putStrLn (utfFromFile4 (BS.readFile "installed.txt"))

Я думаю, вот в этом дело:

https://hackage.haskell.org/package/bytestring-0.9.2.0/docs/Data-ByteString.html#t:ByteString
...
Files
readFile :: FilePath -> IO ByteString

Ридфайл возвращает IO

И как же быть?!

И как же быть?!

пользоваться стрелкой влево:

do
  result <- readFile ...
  use result

@haskell_learn лучше сюда

в этом чате мы даём ответы любого уровня

в этом чате мы даём ответы любого уровня

Можно тогда максимально тупой вопрос?
Про аппликативы, функторы, монады.
Я правильно понимаю, что “монада” это всего лишь тип, у которого есть инстанс тайпкласса monad, определяющий байнд/ретурн/юнит/…, и в целом все эти магические слова означают просто присутствие у типа определенных методов работы с ним (в основном по распаковке/запакове значений из/в конструкторы этого типа)?