Можно еще не очень красиво, но вот так. Получаешь тот же альяс и компаньона в придачу
'''object MyMsg extends TaggedType[CompactedTopicMsg[Long, X]]{

 implicit val myMsgLabelA: Labeled["A", Type] = null
 implicit val myMsgLabelB: Labeled["B", Type] = null
 
 import scala.language.implicitConversions
 
 implicit def convert(x:CompactedTopicMsg[Long, X]):Type = apply(x)
}
type MyMsg = MyMsg.Type

def go(x:MyMsg):Unit = {
 
}

go(null:CompactedTopicMsg[Long, X])'''

Ну вот я пробую сейчас через такой подход

Пока не завелось всё что нужно

У меня там ещё выводилка на шейплесовских копродактах

Ну ты пиши в скасти, там видно будет

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

Кажется, Boris скидывал свой конфиг scalafix

нет

Всё тухлое и несовместимое?

yes.

Впечатляет.

да мне бы вещи, которые scalafix не сумеет, например "не кидай эксепшен под ноги" и т.п.

@rudogma @odomontois В итоге сделал через тайп теги из supertagged. Пришлось немного полифтить инстансы через LiftF, но это всё в одном месте в компаньоне. В 3 скале наверное получится также через опаки сделать.

Юзаем модифицированную  версию этого https://github.com/scalaz/scalazzi
Он как раз многое такое запрещает

он умеет - https://scalacenter.github.io/scalafix/docs/rules/DisableSyntax.html

но сразу на всю кодобазу его навесить совсем не выйдет(

Подскажите, пожалуйста, канал с русскоязычными подкастами по сабжу. Спасибо

ну и есть ТГ канал (свежий; который надо поддерживать) https://t.me/scalalaz_podcast