co1rowjp

interface Matcher {
  caseA (any): any;
	caseB (any): any;
	caseAny (any): any;
}
class Parent {
	data: any;
	constructor (data: any) {
		this.data = data
	}

co1rowjp

interface Functor {
	fmap: (any) => any;
}

interface Monad extends Functor {
	bind: (any) => Monad;
}

interface MaybeMatcher {
	just: (any) => Maybe;

co1rowjp

interface Either {
	isRight: Boolean;
	isLeft: Boolean;
	left: LeftProjection;
	right: RightProjection;
}

class Right implements Either {
	isRight: Boolean = true;
	isLeft: Boolean = false;

co1rowjp

interface Functor {
	fmap: (any) => any;
}

interface Monad extends Functor {
	bind: (any) => Monad;
}

interface Maybe extends Monad {
}