Value classes, universal traits and the necessity of instantiation...