trait to identify if all types from a pack are compatible with an R type. #92