pub fn unsafe_f(f: fn(a) -> Result(b, c)) -> fn(a) -> b

pub fn unsafe_get(m: Map(a, b), k: a) -> b

pub fn unsafe_res(res: Result(a, b)) -> a