まとめると、モナドは型システムも変更しないで参照透明性が実現
できるが、unique typeだと、型システムは変更するが(Hindley-Milner
からは少しずれるが)、意味論は変えずに参照透明性が実現できる、
ということでよろしいか?

間違っていたらｽﾏｿ