unwrap-none.fathom

def main = {
    let ary : Array16 3 U16 = [1, 2, 3],
    x <- unwrap (array16_find (fun (el : U16) => el == (4 : U16)) ary),
};