Type systems are leaky abstractions: the case of Map.take!/2 - Tech Sentiments