See: https://github.com/UCSD-PL/refscript/blob/798f5369aca055823646fb690d12bf3e4f91333e/tests/todo/weird/slowMul.ts
