check out Borgo https://github.com/borgo-lang/borgo It is Go with algebraic datatypes!