De-sugared runSystem (System.hs)