Data.HKey

data HKey s a

withKey

data T

createKey

Key Monad

type KeyM s a

data KeyT s m a

getKey

keyTSplit

runKeyT