-- Class may not be nested in a instance

instance X Int where
  j = 2
  class Y b where
    i :: b ->b