test "" {
    // There are 2 ways to specify how the type of x is determined:
    // Option 1: peer(x, y, z)
    // Option 2: peer(x, peer(y, z))
    const x = if (a)
        x
    else if (b)
        y
    else
        z;
}