Right package:strict-base-types

Analogous to rights in Data.Either.
Analogous to _Right in Control.Lens.Prism.
Yields True iff the argument is of the form Right _.