1 2 3 4 5 6
{-# LANGUAGE MagicHash #-} import Data.Typeable.Internal data K = K instance Typeable K where typeRep# _ = undefined