Lava.Ref
data Ref a
ref
deref
memoRef
data TableIO a b
tableIO
extendIO
findIO
memoRefIO
data TableST s a b
tableST
extendST
findST
memoRefST