add fromJust replacement