Special for Oleg

taggedtypesandinafricanewtypes.scala

import scala.language.implicitConversions


object Test extends App {

  testShapeless()
  TestSupertagged.testSupertagged()

  def testShapeless(){
    import shapeless.newtype
    println("testShapeless")

    trait Step

    val a = newtype.apply[Int,Step](5)

    println("A: "+a)
  }
}

object TestSupertagged {

  import supertagged._

  type NewType[T,U] = { type Bla = Tag[T,U] }

  def onlyTag[T,U](v:T @@ U):NewType[T,U] = v.asInstanceOf[T with NewType[T,U]]


  def testSupertagged(){
    println("testSupertagged")
    object Step extends TaggedType[Int]
    type Step = Step.Type
    val a:Step = Step @@ 5
    val b = onlyTag(a)

    println(s"b: ${b}")
  }
}