да понятно что есть, если решение подойдет, то можно и найти его

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

ну вот, это не то

это ничем не лучше чем просто написать свой ньютайп, потому что все функции для аппенда тегов в список все равно придется самому писать

даже если каинд сигнатуру указать?

как из каинд сигнатуры сгенерируются функции работы со списком в теге?

в общем можно что-то такое запилить, и порядок будет не важен, но это отстой все равно

или что-то такое

А вот этот равно с тильдой, это по какому слову гуглить надо чтобы разобратся?

там сверху определение

А, невнимательно смотрю.

Хм, а когда мы используем ньютайп можно как-то задерайвить для него автоматически инстансы всех тайпклассов, которые есть для содержимого?

Всех - нет, руками надо перечислять

А вот такое вообще нормально как идея

data Item = Item String

class HasTag a t

newtype Sorted a = Sorted a
instance {-# OVERLAPS #-} HasTag "sorted" (Sorted a)
instance HasTag t a => HasTag t (Sorted a)

newtype Positive a = Positive a
instance {-# OVERLAPS #-} HasTag "positive" (Positive a)
instance HasTag t a => HasTag t (Positive a)

testFn :: (Coercible a Item, HasTag "sorted" a, HasTag "positive" a) => a -> String
testFn (coerce -> Item s) = s
res = testFn (Positive (Sorted (Item "res")))
res' = testFn (Sorted (Positive (Item "res")))

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

только вместо строк я прям тип и использовал

HasTag Sorted (Sorted a)

А это тайпфемили просто получается проверяет, что в цепочке конструкторов где-то присутствует нужный нам

+