? Haskell хочется_странного typefun вот есть у меня например класс

class Tagged (s :: -> ) where
retag :: s a -> s b
...

и есть тип данных

data A tag a = ...

я хочу чтобы сделать (псевдокод):

instance Tagged (A * a) where
...

возможно ли это без введения newtype?