Hi Neil, > Why not: > > exp = let blah = g 1000 > in (fst blah, snd blah) Yes, fair enough. > Where's always get desugared to let's, so where's are never more efficient. Interesting. I'm thinking a where-to-let refactoring and its converse may make useful routine refactorings for HaRe. Cheers, Chris.