Lava.Ref
data Ref a
data TableIO a b
data TableST s a b