{-# LANGUAGE ExistentialQuantification #-}
 
import Data.List
 
class ЭтоЗверюшка a where
    погладить :: a -> IO ()
    числоНог :: a -> Int
 
data Котик = Котик
instance ЭтоЗверюшка Котик where
    погладить _ = putStrLn "мурр"
    числоНог _ = 4
 
data Пёсик = Пёсик Int
instance ЭтоЗверюшка Пёсик where
    погладить (Пёсик возраст) = putStrLn $ intercalate "-" $ replicate возраст "гав"
    числоНог _ = 4
 
data Зверюшка = forall a . ЭтоЗверюшка a => Зверюшка a
instance ЭтоЗверюшка Зверюшка where
    погладить (Зверюшка a) = погладить a
    числоНог (Зверюшка a) = числоНог a
 
main = mapM_ погладить [Зверюшка (Пёсик 1), Зверюшка Котик, Зверюшка (Пёсик 3)]

ey0jIExBTkdVQUdFIEV4aXN0ZW50aWFsUXVhbnRpZmljYXRpb24gIy19CgppbXBvcnQgRGF0YS5MaXN0CgpjbGFzcyDQrdGC0L7Ql9Cy0LXRgNGO0YjQutCwIGEgd2hlcmUKICAgINC/0L7Qs9C70LDQtNC40YLRjCA6OiBhIC0+IElPICgpCiAgICDRh9C40YHQu9C+0J3QvtCzIDo6IGEgLT4gSW50CgpkYXRhINCa0L7RgtC40LogPSDQmtC+0YLQuNC6Cmluc3RhbmNlINCt0YLQvtCX0LLQtdGA0Y7RiNC60LAg0JrQvtGC0LjQuiB3aGVyZQogICAg0L/QvtCz0LvQsNC00LjRgtGMIF8gPSBwdXRTdHJMbiAi0LzRg9GA0YAiCiAgICDRh9C40YHQu9C+0J3QvtCzIF8gPSA0CgpkYXRhINCf0ZHRgdC40LogPSDQn9GR0YHQuNC6IEludAppbnN0YW5jZSDQrdGC0L7Ql9Cy0LXRgNGO0YjQutCwINCf0ZHRgdC40Logd2hlcmUKICAgINC/0L7Qs9C70LDQtNC40YLRjCAo0J/RkdGB0LjQuiDQstC+0LfRgNCw0YHRgikgPSBwdXRTdHJMbiAkIGludGVyY2FsYXRlICItIiAkIHJlcGxpY2F0ZSDQstC+0LfRgNCw0YHRgiAi0LPQsNCyIgogICAg0YfQuNGB0LvQvtCd0L7QsyBfID0gNAogICAgCmRhdGEg0JfQstC10YDRjtGI0LrQsCA9IGZvcmFsbCBhIC4g0K3RgtC+0JfQstC10YDRjtGI0LrQsCBhID0+INCX0LLQtdGA0Y7RiNC60LAgYQppbnN0YW5jZSDQrdGC0L7Ql9Cy0LXRgNGO0YjQutCwINCX0LLQtdGA0Y7RiNC60LAgd2hlcmUKICAgINC/0L7Qs9C70LDQtNC40YLRjCAo0JfQstC10YDRjtGI0LrQsCBhKSA9INC/0L7Qs9C70LDQtNC40YLRjCBhCiAgICDRh9C40YHQu9C+0J3QvtCzICjQl9Cy0LXRgNGO0YjQutCwIGEpID0g0YfQuNGB0LvQvtCd0L7QsyBhCgptYWluID0gbWFwTV8g0L/QvtCz0LvQsNC00LjRgtGMIFvQl9Cy0LXRgNGO0YjQutCwICjQn9GR0YHQuNC6IDEpLCDQl9Cy0LXRgNGO0YjQutCwINCa0L7RgtC40LosINCX0LLQtdGA0Y7RiNC60LAgKNCf0ZHRgdC40LogMyld