Compositional Typing for ML
hydraz.semi.works