Agda.Utils.Memo
memo
memoRec
memoUnsafe
memoUnsafeH