Tangentially related is the idea that some OO constructs can be represented as co-data. Previous discussion here https://news.ycombinator.com/item?id=24105755 h

Tangentially related is the idea that some OO constructs can be represented as co-data. Previous discussion here https://news.ycombinator.com/item?id=24105755 https://news.ycombinator.com/item?id=24105755