original.name="Template_Valid_6"
======
>>> main.whiley
type Message<T> is { int kind, T payload }
where kind >= 0 && kind < 3

public export method test():
    Message<int> m1 = { kind: 0, payload: 123 }
    Message<int> m2 = { kind: 1, payload: 234 }
    Message<int> m3 = { kind: 2, payload: 456 }
    //
    assert m1.kind == 0
    assert m1.payload == 123
    assert m2.kind == 1
    assert m2.payload == 234
    assert m3.kind == 2
    assert m3.payload == 456    
---