Why do I need angle brackets in <$a> when implementing macro based on type?

Question

I can implement a macro taking a type like this:

trait Boundable {
    fn max_value() -> A;
}

impl Boundable