Короче я залез на метанит. Увидел что добавили много поточность с мьютексами и прочим

Ну ок, пример из жизни напрямую. Это чуть отдельный подхода, но HKT он требует. Пусть у нас есть большой конфиг, в нём куча вложенных полей, они потенциально опциональны.

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

Вариант без HKT - мы либо делаем структуру с опциональными значениями и её версию без опциональности. Таким образом у нас дублируется достаточно большой набор структур:
// В реальности конфиги на много десятков полей суммарно
final case class Config(address : String, featureConfig: FeatureConfig, ...)
final case class FeatureConfig(...)

final case class OptionalConfig(address: Option[String], featureConfig: Option[OptionalFeatureConfig])
final case class OptionalFeatureConfig

def merge(example: Config, external: OptinalConfig): Config = ???

Либо оставляем только опциональную и нам в бизнес логике придется руками постоянно кастовать значения из нуллябельных в не нуллябельные тем или иным способом.

Вариант с HKT:
final case class Conf…