edit lecture: add whnf to test.hs