Sample code using Shapeless Tagged Types.

TaggedTypeDemo.scala

import shapeless.tag
import shapeless.tag._
object TaggedTypes {

  trait UserId
  trait Name

  val userId = tag[UserId][String]("yadu0123")
  val name = tag[Name][String]("yadukrishnan")

  def printInfo(userId: String @@ UserId, name: String @@ Name) = {
    println(s"HEY, userId: ${formatString(userId)} and name:${formatString(name)}")
  }

  def formatString(str: String) = s"`${str}`"

  def main(args: Array[String]): Unit = {
    printInfo(userId, name)
    // printInfo(name, userId)  //compilation error
    // printInfo("hey","heyhey") //compilation error
  }

}

More detailed explanation provided in the blog: https://yadukrishnan.hashnode.dev/tagged-types-in-scala