Что значит deriving (Eq,Show) ?

import Data.Char
 
data KeyCode = Sym Char | CapsLock | Shift Char deriving (Eq,Show) --множественный конструктор с использованием пользовательсих типов 
 
typCode :: KeyCode -> Int -- по коду возвращает его тип
typCode (Sym _)  = 0      -- обычная клавиша - тип=0
typCode CapsLock = -1    -- CapsLock - тип = -1
typCode (Shift _) = 1         -- Shift - тип = 1
 
getSym :: KeyCode -> Char
getSym (Sym   a) = a
getSym (Shift a) = a
 
 
getALNum :: [KeyCode] -> [KeyCode]
getALNum xs = [(Shift c) | (Shift c) <- xs]
 -- возвращает последовательность шифтов если встречается Shift, то он добавляется как элемент списка-результата.
--В квадратных скобках (в конструкторе списка) как бы описывается множество таких шифтов, которые принадлежат списку-аргументу.
 
getRaw :: [KeyCode] -> [KeyCode]
getRaw [] = []
getRaw (x:xs) | (typCode x) == 0  = x : (getRaw xs)
              | (typCode x) == -1 = getRaw xs
              | otherwise = (Sym (getSym x)) : getRaw xs
 
isCapsLocked  :: [KeyCode] -> Bool -> Bool
isCapsLocked [] cl = cl
isCapsLocked (x:xs) cl | (typCode x) == -1  = isCapsLocked xs (not cl)
                       | otherwise = isCapsLocked xs cl
 
 
getString :: [KeyCode] -> Bool -> String
getString [] _ = ""
getString (x:xs) cl | ((typCode x) == -1) = getString xs (not cl)
                    | ((typCode x) == 0) =  if cl then (toUpper (getSym x)) : (getString xs cl) else  (getSym x) : (getString xs cl) 
                    | otherwise = if (not cl) then (toUpper (getSym x)) : (getString xs cl) else  (getSym x) : (getString xs cl)

import Data.Char
 
data KeyCode
  = CapsLock
  | Sym Char
  | Shift Char
  deriving (Eq, Show)
 
getAlNum :: [KeyCode] -> [KeyCode]
getAlNum [] = []
getAlNum (CapsLock:xs) = getAlNum xs
getAlNum (x:xs) = x : getAlNum xs
 
getRaw :: [KeyCode] -> String
getRaw [] = []
getRaw (CapsLock:xs) = getRaw xs
getRaw (Sym c:xs) = c : getRaw xs
getRaw (Shift c:xs) = c : getRaw xs
 
isCapsLocked :: [KeyCode] -> Bool -> Bool
isCapsLocked [] caps = caps
isCapsLocked (CapsLock:xs) caps = isCapsLocked xs (not caps)
isCapsLocked (_:xs) caps = isCapsLocked xs caps
 
getString :: [KeyCode] -> Bool -> String
getString [] _ = ""
getString (CapsLock:xs) caps = getString xs (not caps)
getString (Sym c:xs) caps =
  (if caps
     then toUpper c
     else c) :
  getString xs caps
getString (Shift c:xs) caps =
  (if caps
     then c
     else toUpper c) :
  getString xs caps