Work around bug in ghc-7.6.1