RE: multi-parametric type class