Ditching support for GHC 7.4

This is because we're making use of the poly-kinded Proxy type from the tagged library, but it is not defined as poly-kinded on GHC 7.4.