avoid panic when using DataKinds with ghc 7.4