Read news on leaky abstractions with our app.
Read more in the app
Type systems are leaky abstractions: the case of Map.take!/2