Restriction: mtl < 2.2