Right package:yaya

Analogous to rights in Data.Either.
Converts a provably infinite structure into a Partial one (that will never terminate).
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 _.