core-typed

2023-10-12T06:18:37.690719Z

Just discovered that type function bounds are never checked. doh

2023-10-12T06:19:41.137829Z

So we're getting a shiny new kinds system, and type applications that actually check the bounds of the type function xD

👀 5