:: a -> Maybe b -> Either a b package:errors

Tag the Nothing value of a Maybe
A fromJust that fails in the Either monad