(the compiler has nothing to check the type agains...
# reflect
a
(the compiler has nothing to check the type against other than it is valid generics against upper bounds, so really is only for readability)