Now works with ghc 7.6