{- Aggreact Configuration File -} let SQLiteConfig : Type = { filepath : Text } let PostgresConfig : Type = { host : Text, port : Natural, user : Text, password : Text } let DBConf : Type = < SQLite : SQLiteConfig | Postgre : PostgresConfig > in { port = 3000 , jwtKeyFilePath = "jwt.key" , db = DBConf.SQLite { filepath = "aggreact.db" } }