This is because the new kind-polymorphic Typeable seems to require optimisation to deal with typeRep operations on (extremely) large types.