CompilePush2.hs without Write data type, seems to work