Self-TypesΒΆ

(TODO)