:: (a -> b) -> (c -> a) -> c -> b -package:protolude -package:incipit-base package:MemoTrie

Lift a memoizer to work with one more argument.