class TypedID {

  TPH GVWK lam;
TypedID(){
    super(());
    this.lam = (TPH GVWL x) -> {
      return x;
    };
  }
  TPH GVWR id(TPH GVWS b){
    return b;
  }

  TPH GVWU m(){
    return this.lam;
  }

  TypedID(){
    super(());
  }

}