Add upper bound on mtl and fix an example in documentation.