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