/*EXPECT(3too-high)*/
defn pine = (x) -> {
has( x.error ) then trace( unopt(x.error).tag )
has( x.value ) then trace( unopt(x.value) )
}
defn dpine = (a,b) -> {
pine(a)
pine(b)
}
defn cone = (x:integer) -> {
x > 5 then fail string_tag("too-high")
return x
}
dpine( trap cone(3), trap cone(7) )