Silva, Rafael Castro G., et al. “Haskell Type System Analysis”. Revista De Informática Teórica E Aplicada, vol. 25, no. 3, Sept. 2018, pp. 75-88, doi:10.22456/2175-2745.82395.