Free Monad?
В туториалах вроде хардкодят.
Хочется чего-то такого:
sealed trait KVStoreApi[Key, Value, Result] extends Product with Serializable
final case class Get[Key, Value](key: Key) extends KVStoreApi[Key, Value, Option[Value]]
хочешь, чтоб можно было Free[KVStoreApi, A] сделать?
Обсуждают сегодня