On Wed, May 23, 2007 at 06:27:32PM +0100, Neil Mitchell wrote: > > foo = do (1 :: Int) While intuitively this should be disallowed, it seems a pity that desugaring couldn't be totally separated from typechecking. Hmm. Ian, on the fence.