Adding examples for self types