Better doc on Data.Map.lookup: explain what the monad is for