More ugly Haskell reimplementation!

map.hs

type Map k v = [(k, v)]
 
newMap :: (Eq k) => [(k, v)] -> Map k v
newMap = id
 
mapLookup :: (Eq k) => Map k v -> k -> Maybe v
mapLookup [] k = Nothing
mapLookup (x:xs) k
    | fst x == k = Just $ snd x
    | otherwise = mapLookup xs k
 
out :: (Show a) => Maybe a -> IO ()
out Nothing = print "not found"
out (Just x) = print x
 
main = do out $ mapLookup m "foo"
          out $ mapLookup m "derp"
          out $ mapLookup m "hi"
       where m = newMap [("hi", "there"),
                         ("foo", "rooster")]