Revert "tweek the build process so that type checking against ghc HEAD can hopefully work"

This reverts commit b0cc523ad9f75378540653c5522a82e806b800fb.