We can bring in value classes with an implicit witness instead..