reducing the size of the hello-gl-dummy.hs file.