attempt at supporting palladium macro expansions
guesses when to omit bounds of type parameters