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