Data-memocombinators