>>382223
Запись вида f :: a -> a понимаешь?
Это значит что функция f может работать с любым типом а.
Есть расширение чтобы писать явно
f :: forall a. a -> a. "для любого а, ф берет а и возвращает а".

pure :: Monad m => a -> m a, здесь m это любой конструктор типа (что-то, что берет тип и возвращает тип (тип типов , a :: , m :: -> ), тип это или конструктор типа -- выводится из контекста)

Monad m => это ограничение, говорит что использовать функцию pure можно только с такими m , которые реализуют интерфейс monad.

pure, как видно по типу, берет значение некого типа А и возвращает значение преобразованного типа M A.
считай просто оборачивает значение внутрь какой-то структуры M.

>>= это оператор с 2мя аргументами, первый - значение преобразованного монадой типа (m a), второй - функция, которая берет значение НЕпреобоазованного типа (а) и возвращает преобразованного (той же монадой) (но опционально другого) типа .

Можно представить что "m a" это вычисление значения типа "а" в каком-то контекстe "m"
тогда "x >>= f" позволяет выполнить операцию над значением в "х" не покидая контекст ("f" тут функция берущая "a", но "х" имеет тип "m a").
пример,
putStrLn :: String >>= IO ()
getLine :: IO String
"getLine >>= putStrLn" (или с лямбдой "getLine>>= \ x -> putStrLn x")
здесь m ~ IO, A ~ String, B ~ ().
у нас было значение строка внутри контекста консоль, мы сделали новое значение (типа (), unit) тоже в контексте консоли, но теперь наше значение несёт в себе ещё операции ввода строки и затем выводаее на консоль.

pure "str" :: IO String
значение строка в контексте консоли, без каких-либо эффектов

у тебя есть свой код, оперирующий строками
пусть он будет в функции f :: String -> String
ты хочешь функцию, которая принимает строку (имя файла), применяет операцию f к прочитанному содержимому файла и возвращает его

какой тип функции?
openFile берет строку, значит "String ->"
возвращает тоже строку, значит в конце "String"
внутри ты читаешь из файла - это возможно только внутри контекста консоли, т.е. монады IO, значит возвращаемая строка будет типа "IO String"

openFile :: String -> IO String
openFile file = ?

замечу, readFile :: String -> IO String,
значит readFile file :: IO String

нужно ещё применить f к прочитаному, т.е. возвращать операцию которая будет сначала читать, а потом поменять f

readFile file >>= f нельзя, так как f возвращает просто строку, а >>= требует чтобы ф возвращало строку в том же контексте, в котором находился первый аргумент

readFile file >>= \ x -> ?
x имеет тип String, f x :: String
нужно это обернуть в контекст, значит используем pure
readFile file >>= \ x -> pure (f x)

это ты мог записать с помощью сахара do так:

do
x <- readFile file
pure (f x)

прим.
если нужно применить операцию над значением внутри контекста, но операция сама по себе контекста не требует, можно юзать fmap или (<$>)
fmap :: (a -> b) -> m a -> m b
с ним тело функции openFile можно записать как
fmap f (readFile file)
или
f <$> readFile file