Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo framework? https://sites.google.com/site/chklin/research It looks interesting but it seems it amounts to add an extra layer of interpretation (the monads encoding as a data type) and the paper lacks examples of actual uses of the framework. jld