Partial reversion of Languages.hs