тогда любопытно как оно с type ascription и декларациями типов будет

а есть же типизированная схема

в том числе завтипизированный Pie игрушечный, но хватит чтобы посмотреть

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

хотя TH юзается и так во все поля

мне было бы интересно потыкать что-то фп и типизированное со стековым синтаксисом...

Попробовал выразить сигнатуру

:set -XConstraintKinds
:set -XQuantifiedConstraints
:{
import Data.Kind
import Data.Row
import Data.Row.Internal

-- You can't specify an instance for a tuple constraint
-- In the quantified constraint ...

type MonadSig (r :: Row Type)
  = forall (t :: Type -> Type)
-- "GHC doesn't yet support impredicative polymorphism"
   (a :: Type) (b :: Type).
    ( Applicative t
    , Subset
        ( "lift0" .== (a -> t a)
        .+ "flatMap" .== (t a -> (a -> t b) -> t b)
        ) r )
:}

но ghc меня послал. Не знаю, может на тайп-фемили как-то можно... Или я хочу странного.

> Где-то правоассоциативность, где-то левоассоциативность, ..., приоритет зависит от конкретной декларации

Как будто что-то плохое. Для DSL самое то.

> где-то indentation, где-то alignment

???

> отступы везде разные, а вертикальное выравнивание хаотичное

Выравнивание определяется первым токеном, никто не мешает делать 4-space или 2-space.

> сигнатуру и определение функции нельзя написать в однострочник без расширений языка

Это печально, да. С другой стороны, тип функции не придётся парсить из аргументов.

> О да, кстати, расширения...

Вот тут, я считаю, давно пора сделать новый стандарт языка, который бы автоматом включал всякие DataKinds.

> ???
ну все это выравнивоние по ::, по знаку =, при том даже когда зто не первый символ в строчке. В итоге код становится двухмерным, с кучей пробелов. Иногда. А иногда нет. Как повезёт.

@maksbotan меня вот такое бесит, что не написать concat <$> for hosts $ \h -> ...
но BlockArguments тут кажется спасают

да, вот это мой частый случай!

пишу fmap concat $ for ...

Я щас с blockarguments написал

Но обычно было как раз fmap concat

concat <$> do ?

concat <$> for hosts \h ->
 getAddrInfo ...

а, понял

хм Set.fromList более error-prone

мне почему-то блок аргумнетс немного не нравятся

Мне вот тоже