Is there a way to get the compiler to somehow spit out the actual type it fills in, when I put a _ somewhere?