Storage.Hashed.Monad
data TreeState
type TreeIO