Free#runMTrampoline, foldMapTrampoline