:: Either a a -> a package:strict

Extracts the element out of a Left and throws an error if the argument is a Right.
Extracts the element out of a Right and throws an error if the argument is a Left.