Self types and the cake design pattern