Go with sum type: Borgo

https://github.com/borgo-lang/borgo