:: Either a b -> a package:extra

The fromLeft' function extracts the element out of a Left and throws an error if its argument is Right. Much like fromJust, using this function in polished code is usually a bad idea.
\x -> fromLeft' (Left  x) == x
\x -> fromLeft' (Right x) == undefined