template< template<class> class M >
class Monad{
public:
	template<class A>
	virtual M<A> Return(A a) = 0;

	template<class A, class B>
	virtual M<B> Bind(A a, std::function<M<B>(A)> f);
};