Documentation

data Key (a :: k) Source #

newKey :: IO (Key a) Source #

eqKey :: forall a b. Key a -> Key b -> Maybe (a :~~: b) Source #