template<class A, class B>
struct Or{
	static Or<A,B> Left(A a);
	static Or<A,B> Right(B b);

}