A typeclass that represents something that guarantees a successful conversion.
A ConvertSuccess a b instance represents an a that can be converted to a b.
Convert from one type of data to another. Raises an exception if there is
an error with the conversion. For a function that does not raise an exception
in that case, see convertAttempt.