Updated Debug.hs