Apparently Travis GHC version also requires Rank2Types pragma on modules using MkError...