How do I use the trait scala.Proxy

Question

I just found it in the API and would like to see one or two examples along with an explanation what it is good for.

Answer 1

It looks like you'd use it when you need Haskell's newtype like functionality.

For example, the following Haskell code:

newtype Natural = MakeNatural Integer
                  deriving (Eq, Show)

may roughly correspond to following Scala code:

case class Natural(value: Int) extends Proxy {
  def self = value
}