the thing i think i'd miss most moving from limbo is discriminated unions. what would a go-friendly way of describing, say, a 9p message look like?
i suppose you could just type-switch, but then you still lose the nice statically declared aspect of an algebraic type.