D>>То есть задача в создании универсального акцессора, который на входе получает (1) правила (структуру которых можно описать на некотором языке метаправил, и, следовательно, типизировать ) (2) нечто, что должно подчиняться этим правилам, а на выходе — функция, генерирующая заказанные данные

D>>flt :: Rules -> RawData -> (Request -> Maybe Data)
D>>

class Person {
   var name: String = _;
   var position: Position = _;
}

class VIPerson {
   var name: String = _;
   var bablo: double = _;
   var position: Position = _;
}

E>Я и не говорил, что он мне не нравится. Но, если об extensions не задумываться, то весь код ПМ вида {msgSignature, X} придется переделывать в {msgSignature, _, X}, а затем в {msgSignature, _, X, _}, а затем в {msgSignature{Y,Z,_},_,X,_,_} и т.д.

abstract class Msg
case class NoExt extends Msg
case class MsgSig(val a: int, val ext: Msg) extends Msg
case class MsgExt(val b: int, val ext: Msg) extends Msg

object Proto {
  def doit(m: Msg) = {
    System.out.print("In doit:")
    m match {
      case MsgSig(a, _) => System.out.println("generic simple a=" + a)
    }
  }
  def doit2(m: Msg) = {
    System.out.print("In doit2:")
    m match {
      case MsgSig(a, MsgExt(b, _)) => System.out.println("extended a=" + a + " b=" + b)
      case MsgSig(a, _) => System.out.println("pure simple a=" + a)
    }
  }
  
  def run() = {
    for (i <- MsgSig(1, NoExt()) :: MsgSig(2, MsgExt(3, NoExt)) :: Nil) yield {
      System.out.println("Message: " + i)
      doit(i)
      doit2(i)
    }
  }
}

scala> Proto.run
Message: MsgSig(1,NoExt())
In doit:generic simple a=1
In doit2:pure simple a=1
Message: MsgSig(2,MsgExt(3,NoExt()))
In doit:generic simple a=2
In doit2:extended a=2 b=3
unnamed6: List[Unit] = List((), ())

abstract class Msg
case class MsgSig(val a: int) extends Msg
case class MsgExt(val b: int) extends Msg

object Proto {
  def doit(m: List[Msg]) = {
    System.out.print("In doit:")
    m match {
      case MsgSig(a) :: xs => System.out.println("generic simple a=" + a)
      case Nil => 
    }
  }
  def doit2(m: List[Msg]) = {
    System.out.print("In doit2:")
    m match {
      case MsgSig(a) :: MsgExt(b) :: xs => System.out.println("extended a=" + a + " b=" + b)
      case MsgSig(a) :: xs => System.out.println("pure simple a=" + a)
      case Nil => 
    }
  }
  
  def run() = {
    for (i <- (MsgSig(1) :: Nil) :: (MsgSig(2) :: MsgExt(3) :: Nil) :: Nil) yield {
      System.out.println("Message: " + i)
      doit(i)
      doit2(i)
    }
  }
}

scala> Proto.run
Message: List(MsgSig(1))
In doit:generic simple a=1
In doit2:pure simple a=1
Message: List(MsgSig(2), MsgExt(3))
In doit:generic simple a=2
In doit2:extended a=2 b=3
unnamed7: List[Unit] = List((), ())