A slightly different flavor of generic programming