¥ The
variable d has type Cons which supports the method
getRest. What is
the type of d.getRest()? The
return type of the method getRest,
which is DeptDirectory. Does DeptDirectory support the method getRest? No. Hence, the method call
(d.getRest()).getRest()
is not well-typed.
¥