···437437438438-- |
439439--
440440+-- To work on `Map k a`:
441441+-- Map.lookup :: Ord k => k -> Map k a -> Maybe a
442442+-- Map.insert :: Ord k => k -> a -> Map k a -> Map k a
443443+-- Map.delete :: Ord k => k -> Map k a -> Map k a
444444+--
440445-- >>> get (mapL 3) (Map.fromList (map (\c -> (ord c - 96, c)) ['a'..'d']))
441446-- Just 'c'
442447--
···462467 error "todo: mapL"
463468464469-- |
470470+--
471471+-- To work on `Set a`:
472472+-- Set.insert :: Ord a => a -> Set a -> Set a
473473+-- Set.member :: Ord a => a -> Set a -> Bool
474474+-- Set.delete :: Ord a => a -> Set a -> Set a
465475--
466476-- >>> get (setL 3) (Set.fromList [1..5])
467477-- True