struct True;
struct False;

trait Eq<B> {
    type Output;
}

impl<A> Eq<A> for A{
    type Output = True;
}

impl<A, B> Eq<A> for B {
    type Output = False;
}

fn main() {
    println!("Hello, world!");
}