R. C. G. Silva, K. G. Roggia, and C. D. Vasconcellos, “Haskell Type System Analysis”, RITA, vol. 25, no. 3, pp. 75–88, Sep. 2018.