I was wondering : wouldn&#39;t it be possible that things like BaseM be implemented on top of MTL?<br>Couldn&#39;t just one develop a package, say mtl-missing, that would contain the functionnalities of monadLib, but compatible with MTL?<br>