Not sure I understand, ghc/platform is hundreds of MB iirc, remotely built or not. Or maybe you meant a tailored ghc distro without all the statically compiled libs and such ?
I assume that he probably doesn't have to compile GHC all that often. He can probably just drive to the nearest place with free Wifi and download whatever he needs over a faster connection.