Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.
Zero-dependency boilerplate-free tagged types for Scala