Left package:strict

Analogous to lefts in Data.Either.
Extracts the element out of a Left and throws an error if the argument is a Right.
Yields True iff the argument is of the form Left _.