Relax some constraints now (thanks to Peter Simon) we know it compiles
on a lot more versions of ghc.