Data.HKey

data HKey s a

withKey

data T

createKey

unique

Key Monad

type KeyM s a

data KeyT s m a

type Key s

runKey

newKey

getKey

keyTSplit

runKeyT