Type systems are leaky abstractions: the case of Map.take!/2 - 资讯列表