type T = dog;

enum dog {
    dog
}

fn animal() -> ~str { ~"dog" }
fn talk(_d: dog) -> ~str { ~"woof" }