type B b a = A a b
instance Functor (B b) where ...

でできないかな