module Mod172_C( f,g ) where

class A a where f :: a
data R = R { g :: Int }