pub fn memo(
  f: fn(fn(a) -> b, a) -> b,
  then: fn(fn(a) -> b) -> c,
) -> c