mtl with TVars