инстансы
class PolyAdd a where
polyAdd :: Int -> a
instance PolyAdd Int where
polyAdd = id
instance PolyAdd a => PolyAdd (Int -> a) where
polyAdd a b = polyAdd (a + b)
но сделать polyList :: [a] -> a я не могу, потому что инстанс для функции не напишу. или я неправильно понял?
polyList :: a -> [a]?
а Hints вы читали?
Обсуждают сегодня