kadai.Attempt
Attempt <~> Result is the IsoFunctor, or NaturalTransformation Isomorphism, between Attempt and its underlying Result.
We use this to remove all the boilerplate from the typeclass instance declarations, and just use Result's definitions.
Attempt <~> Result is the IsoFunctor, or NaturalTransformation Isomorphism, between Attempt and its underlying Result.
We use this to remove all the boilerplate from the typeclass instance declarations, and just use Result's definitions.