def bad
import bend-toon-codec@0.1.0.0/src/hdr.bend as Hdrimport Base
19def bad(+m: String) -> Result<&2, &2, String, Hdr>:
20 Fail{m}
import bend-toon-codec@0.1.0.0/src/hdr.bend as Hdrimport Base
19def bad(+m: String) -> Result<&2, &2, String, Hdr>:
20 Fail{m}