MLは、
mycroft/milnerの型システムは使っていないのか？
使っていると思っていたんだが。