There are many alternatives to fromJust. They are all essentially implemented on top of the safe primitive: pattern-matching. Guard clauses in Haskell are actu

There are many alternatives to fromJust. They are all essentially implemented on top of the safe primitive: pattern-matching. Guard clauses in Haskell are actually boolean conditionals, and are boolean-blind. Safe pattern-matching can be done via the function definition sugar: f Nothing = ... f (Just x) = ... Which is equivalent to a "case". The various functions that work with a Maybe value make it non-tedious to do things. For example, instead of: case mx of Just x -> Just (x + 1) Nothing -> Nothing You can write: fmap (+1) mx Additionally, (>>=), fromMaybe and many other useful functions exist, and they're all based on safe pattern-matching.