• $P\; =\; \%l(\; self\; ).\{\; i\; =\; 5,\; eq\; =\; \%l(o).(o.i\; =\; self.i)\; \}$

  $C\; =$\%l( self ).P( self )  \with { b = true,
      $eq\; =$\%l(o).(o.i = self.i    and 
      $o.b\; =\; self.b)$
  $\}$
  

$\backslash Y(P)\; :\; \%t$ where $\%t\; =\; \%m\; \%a.\{\; i:int,\; eq:\%a\; ->\; bool\; \}$
$\backslash Y(C):\%s$ where $\%s\; =\; \%m\; \%a.\{\; i:int,\; id:\%a\; ->\; bool,\; b:\; bool\; \}$
However \zline{(subtyping error)}