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

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

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

    data A tag a = ...

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

    instance Tagged (A * a) where
    ...

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

Replies (0)