Juick
Discuss
Discover
Login
qnikst
8 years ago
?
Haskell
хочется_странного
typefun
вот есть у меня например класс
class Tagged (s ::
->
) where
retag :: s a -> s b
...
и есть тип данных
data A tag a = ...
я хочу чтобы сделать (псевдокод):
instance Tagged (A * a) where
...
возможно ли это без введения newtype?
Recommend
Replies (0)