[3 of 3] Compiling Check02          ( Check02.hs, Check02.o )