Right package:strict

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