https://invertiryespecular.com/2019/03/28/el-problema-de-la-curva-de-tipos-para-todos-los-publicos/