Сравнить String и X(Maybe String)

X - это не вариант IO ли?

Покажи контекст, в котором это вызывается.

logLayout >>= \l -> if l == Just "Full" then yadayada else yadayada

Можешь не благодарить.

No instance for (Eq Logger) arising from a use of ‘==’

ghc, тебе говорит

Не имплементирован (Eq Logger), который необходим для использования функции '=='

-> Не имплементирован тип классов 'Eq' для типа Logger

-> Я не знаю как сравнить для значения типа Logger

Logger это синоним для типа 'X (Maybe String)', X это такая Xmonad-ная надстройка над IO, то есть по сути Logger совершает некоторое действие в реальном мире и возвращает (Maybe String). Следовательно пытаясь сравнить два Logger ты пытаешься сравнить два разных действия над реальным миром, что не имеет смысла.

Что же нужно сделать для того чтобы сравнить Maybe String который возвращается Logger-ом. Нужно извлечь этот Maybe String из Logger-а другими словами выполнить действие которое он несет. Как указал hateyoufeel, это можно сделать вот так:

logLayout >>= \l -> if l == Just "Full" then yadayada else yadayada

Если воспользоваться синтаксическим сахаром 'do-нотация', то можно сделать это вот так:

do
    layout <- logLayout -- извлекаем layout из logger (выполняем действие)
    if layout == Just "Full"
    then yadayada
    else yadayada

Воо, спасибо. Т е получается если я хочу «превратить» IO String в String нужно воспользоваться оператором <- ?

Да, примерно так.

Вот здесь неплохо объяснено. http://ohaskell.dshevchenko.biz/ru/io/IO-a.html

Прочти главу по ссылке и следующую за ней.

Поясню для С программистов:

someAction :: IO String

Это не просто String завернутый во чтото. Это какбы

 
char* (*someAction)();

То есть, значение ты получишь только после выполнения некоторых действий, возможно действие прочтет его из файла, или запустит ракеты и вернет рандомную строку.

Т е получается если я хочу «превратить» IO String в String нужно воспользоваться оператором <- ?

Получается, чтобы «превратить» m a в a, где m — это монада, тебе нужно использовать «оператор» <-. IO — это одна из монад.

fmap . (maybe False (== a))?

Результатом будет X Bool.

Тред не читал.

Нет. «<-» не оператор. Это просто синтаксический сахар. Вкуривай do синтаксис для монад. Если кратко, то

do{a <- f1; f2 a}

f1 >>= (\a -> f2 a)