original.name="RecursiveType_Valid_9"
======
>>> main.whiley


type nat is int

type expr is nat | {int op, expr left, expr right}

public export method test() :
    expr e = 14897
    assert e == 14897

---