I see, I must have misinterpreted your intentions. In such a case verbosity and specialisation of an implementation may be helpful indeed.