Kanonische Show/Read-Instanzen

class Show a where show :: a -> String

• eine Show-Methode (Instanz) heißt kanonisch, wenn show x gültiger Haskell-Quelltext ist, dessen Auswertung wieder x ergibt.
• deriving Show liefert kanonische Instanzen.

class Read a where read :: String -> a -- vereinfacht

• Read-Instanz heißt kanonisch, wenn read (show x) == x
• deriving Read liefert kanonische Instanzen