module Repro ( Key , emptyRecord ) where import Unsafe.Coerce import GHC.Exts (Any) type Key a = Any data TombStone = EmptyElement {-# NOINLINE emptyRecord #-} emptyRecord :: Key a emptyRecord = unsafeCoerce EmptyElement