POPLmark challenge.