A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation