[Avail] Either in Avail

[Robbert van Dalen]

So here is the use case in Java (or something similar):

interface Either<A, B> { }
class Left<A, B> implements Either<A, B> {
   public A left_value;
   public Left(final A a) { left_value = a; }
}
class Right<A, B> implements Either<A, B> {
   public B right_value;
   public Right(final B b) { right_value = b; }
}

As Avail doesn’t have type parameterisation, how would one model Either in 
Avail, efficiently and precisely?

Dare I say precise union types?
Yes!

cheers,
Robbert.

signature.asc
Description: Message signed with OpenPGP using GPGMail