:: (a -> b) -> (c -> a) -> c -> b package:grisette

Lift a memoizer to work with one more argument.
Lift a memoizer to work with one more argument.
Lift a memoizer to work with one more argument.