help from the community?

[Ashley Yakeley]

Taral wrote:

 > I see nothing wrong with "case x of {}", with required braces. The
 > layout rule never generates empty braces.

Also consider a simple "case x", following the already allowed omission 
of "where" in class and instance decls.

   class (This a,That a) => ThisThat a

   instance (This a,That a) => ThisThat a

This will be useful for GADTs:

   data MyGADT a where
     IntGADT :: MyGADT Int

   never :: MyGADT Char -> t
   never x = case x  -- no bottom needed

-- 
Ashley Yakeley