Is there a partial order on Haskell type classes?
If so, does it induce any quasi-order relation on types named in the instances?
In the example below types C and D have the same operation f
Thanks,
Pat

data C = C deriving Show
data D = D deriving Show

class A t where
 f::t->t
 f t = t
 
instance A C where
instance A D where


class A t => B t where

instance B C where
instance B D where