type family RingS (add :: ka) (mul :: km) (a :: Type) = (r :: RingE)

data RingE

class RingK add mul a s

type RingC p m a