@Alexandroppolus Thanks, it's not exactly what I was thinking about, but maybe it's the best approach. I would have liked a solution were the user doesn't have to explicitly insert the parameter types as an additional type parameter, but I guess this is all I can do.