CheckGR.hs now type checks.