Self-referential types.