Exclusive Or When Deriving Sum Data Types

[khajavi]

Assume the following ADT:

sealed trait DatabaseConfig
case class MysqlConfig(
  host: String,
  port: Int,
  username: String,
  password: Secret
) extends DatabaseConfig
case class SqliteConfig(path: String)
  extends DatabaseConfig

I expect that the deriveConfig[DatabaseConfig] macro derives a config that describes a config that can only either MysqlConfig or SqliteConfig, so when loading config from a file if two of them exist, I expect that throws an error instead of loading one of the configs from the config file.