3 ms·I feel like Hagino had talked about coinductive data types in the early 90’s.by catgary 5y agoI feel like Hagino had talked about coinductive data types in the early 90’s.