https://macros.scala.school/phantom-types