data Уж = Уж 
data Ёж = Ёж

class Device a

instance Device Уж

instance Device Ёж

device :: Device a => String -> a
device "Уж" = Уж
device "Ёж" = Ёж