module CorrectEmptyWhere where 

 class X a where

   y :: a -> a
   y 2 = 2
   
 class Y b where
 
 x :: b -> Int
 x _ = 2
   
 main2 = 2 where

 main3 = 1

 class Z z
 
 g :: Int -> Int
 g _ = 0
 


