Bot Style

Я придумал только вот что:
Создавать класс типов:

class Oven a where
checkOven:: a -> Bool
......
А потом уже создавать типы, например:

data GasOven = GasOven {...}
instance Oven GasOven where
checkOven (GasOven {...}) = ....