Si quiero declarar una newtype tal que tipo de tipo de valor está limitado a tener una instancia para una clase de tipo, parece como si pudiera hacer eso con: {-# LANGUAGE RankNTypes #-}
newtype Sho
Creo que comprendo la nueva característica de "clase de valor" de Scala 2,10, en comparación con newtype de Haskell: trait BoundedValue[+This] extends Any { this: This =>
def upperBound: This
Esta es una pregunta tonta que me ha estado molestando un poco. Por qué no puedo escribir un newtype con múltiples parámetros, newtype A = A Int Int
mientras que la versión tupla está bien? newtype