:: Either a b -> a package:strict

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