let mk = memo mk