Use file descriptors in File.hs