Closed librasteve closed 3 years ago
https://vrurg.github.io/2020/11/16/Report-On-New-Coercions
no obvious application for now
https://vrurg.github.io/2020/11/16/Report-On-New-Coercions