Monad.ceylon

class Either<A, B>() {}

interface Monad<M> given M<E> {

    shared formal M<A> point<A>(A t) ;

    shared formal M<B> bind<A, B>(M<A> box)(M<B>(A) func) ;
}

interface EitherMoad<A> satisfies Monad<<B> => Either<A,B>> {

    shared formal actual Either<A,B> point<B>(B b);

    shared formal actual Either<A,C> bind<B,C>(Either<A,B> m)(Either<A,C>(B) func);
}