Export fromJust from Dev module.