newtype MyError = MyError (NonEmpty Text)
build (MyError errs) = unlinesF ["some error description", ...]

Couldn't match type ‘Data.Text.Internal.Builder.Builder’
                 with ‘Text’

можете код выложить на Gitlab Snippet или Gist?

newtype MyError = MyError (NonEmpty Text)
build (MyError errs) = unlinesF ["some error description", ...]

Couldn't match type ‘Data.Text.Internal.Builder.Builder’
                 with ‘Text’

Buildable — это вообще откуда? из какого пакета?

видимо, отсюда

да, секунду

наврал, это из Universum
https://hackage.haskell.org/package/universum-0.4/docs/Universum.html

зачем вы это используете, если не уверены, что это такое?

Нужно допилить существующий код, не более

Как бы не распилить его незнанием)

Справедливо

Всячески стараюсь этого не сделать

newtype MyError = MyError (NonEmpty Text)
build (MyError errs) = unlinesF ["some error description", ...]

Couldn't match type ‘Data.Text.Internal.Builder.Builder’
                 with ‘Text’

build :: a -> Builder
toLazyText :: Builder -> Text

мне кажется, если на типы посмотреть, то сразу видно, как сделать Text

Благодарю

помогите провести санити чек кода

{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FlexibleInstances, TypeFamilies, TypeOperators, DataKinds, StandaloneKindSignatures, FlexibleInstances, QuantifiedConstraints, FlexibleContexts, ConstraintKinds, KindSignatures, ScopedTypeVariables, UndecidableInstances, MultiParamTypeClasses, GADTs, ExistentialQuantification, TupleSections, NamedFieldPuns, UnicodeSyntax, PolyKinds, LambdaCase, PartialTypeSignatures, KindSignatures, TypeFamilyDependencies, UndecidableSuperClasses, FunctionalDependencies, ImpredicativeTypes, AllowAmbiguousTypes #-}

type CSat = () :: Constraint
type CNSat = Int ~ Bool
type family OfKind a b where
  OfKind a (b :: a) = CSat
  OfKind a (b :: m) = CNSat
type family OfType a b where
  OfType a a = CSat
  OfType a b = CNSat


fu :: OfKind * t => t -> t
fu = id
_ = fu 0 -- Ok, Int is *
_ = fu Either -- OK???? WUTTTT????!!!!!! Either is * -> * -> *

-- m :: *
-- m = Either

OfKind должен работать так как я думаю?

CSat и CNSat это конечно какой-то прикол

почему бы просто бул не возвращать и потом не проверять что функция ~ True

какого-нибудь PolyKinds не хватает