Кстати, всем спасибо за помощь и интересное общение)

Какой вариант лучше (по читаемости, идиоматичности):

SendNextFormField -> 
    either  (const $ notify' "Анкета уже заполнена!") 
            (notify' . mappend "Заполните поле: " . show) 
    . (nextStepForm =<<) =<< currentForm

или

SendNextFormField -> do
    current <- currentForm
    case current >>= nextStepForm of
        Left form        -> do
            notify' "Анкета уже заполнена!"
        Right field_type -> 
            notify' $ "Заполните поле: " <> show field_type

?

А может есть какие-то варианты написать это лучше?

если бы не nextStepForm, то я скорее всего написал бы так, но из-за nextStepForm не уверен

а, там еще и >>= нужен внутри, ну тогда точно бы сделал второй вариант

а currentForm получается это тоже Either

m (Either a b)

где m - другая монада

It would be much clearer to write:

type instance F @Type         Int = Char
type instance F @(Type->Type) Int = Maybe
and indeed this is already legal.

Не знал что собаку так использовать можно

ну вот я про это и говорю, смещение в сторону "имплисит параметры" а не "тайп параметры2

А ты знал что так можно писать?

всякие

data X = forall a. X

type family Y x where
 Y (X @a) = a

все еще вписываются в "тайп параметры"

не

ну вот как выше знал, что точно так же в паттернах на термлевеле тоже знал, а что как отдельный паттерн это я знал что скоро можно будет, но не думал что уже можно

но кажется просто опять тайплевелел обгоняет термлевел по фичам, и там уже все давно есть, реально нужно только добавить IO на тайплевел и запретить термлевел (шутка Романа, возможно не шутка)

SendNextFormField -> 
    either  (const $ notify' "Анкета уже заполнена!") 
            (notify' . mappend "Заполните поле: " . show) 
    . (nextStepForm =<<) =<< currentForm

SendNextFormField -> do
    current <- currentForm
    case current >>= nextStepForm of
        Left form        -> do
            notify' "Анкета уже заполнена!"
        Right field_type -> 
            notify' $ "Заполните поле: " <> show field_type

второй, однозначно. можно ещё notify' вынести за скобки case

будто что-то плохое. Пришел чтоб тебе домашку сделали — готовься, что тебе будут присылать пасту про пандоричекий захват

помогать нельзя, иронизировать нельзя, одни какие-то запреты

https://hackage.haskell.org/package/base-4.14.1.0/docs/src/Data.OldList.html#sort или можно отсюда вообще взять

помогать можно и нужно