sig
  val memo : Functionwise.Tbl.key -> Functionwise.Tbl.data
  val get : Functionwise.Tbl.key -> '-> Functionwise.Tbl.data
end