T9739.hs 197 Bytes
Newer Older
1
{-# LANGUAGE MultiParamTypeClasses #-}
Simon Peyton Jones's avatar
Simon Peyton Jones committed
2 3
module T9739 where

4
class Class3 a => Class1 a where
Simon Peyton Jones's avatar
Simon Peyton Jones committed
5

6 7 8 9
class Class2 t a where
  class2 :: (Class3 t) => a -> m

class (Class1 t, Class2 t t) => Class3 t where