fromJust +base

fromJust :: Maybe a -> a
base Data.Maybe
The fromJust function extracts the element out of a Just and throws an error if its argument is Nothing.