Yes you are right. I'd prefer to confine the pattern here due to compilation time. but maybe I'm wrong.