{- Modul-Deklaration anpassen, wenn notwendig! -}
module SafeMap where

{- Diese Definition ist nur da, damit die Vorlage unveraendert kompiliert.
 - Fuer eine richtige Loesung auf jeden Fall diese Definition ersetzen.
 - Achten Sie darauf, keine Implementierungsdetails nach aussen dringen
 - zu lassen -}
type SafeMap k v = ()

empty :: Eq k => SafeMap k v
empty = undefined

update :: Eq k => k -> v -> SafeMap k v -> SafeMap k v
update = undefined

lookup :: Eq k => k -> SafeMap k v -> Maybe v
lookup = undefined