Proper comment for 4.hs