Restricted mtl version in 7.4.2 to fix travis-ci;  may require porting to other GHC versions?