Monad.ceylon

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> => A|B> {

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

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