module T4240A where

class C a where
    m :: a

instance C Int where
    m = 5