--тогда уж так. Внимание, компилируемый код!!!
...
data Действие = Удача
...
class Хоррор а => Жизнь a where
    убитьсяОбСтену :: a -> IO()
instance Жизнь Удача where
    убитьсяОбСтену _ = putStrLn "Санитары не успели вас спасти"
...