Programming Language is Haskell

The trav function runs through a container and outputs the content of the given index. If the index does not exist, Nothing is output.

Instantiate Trav for the following data types.

1.) Map k a - Returns the element for the specified key.

Example: trav (Map.fromList [("asd", 1), ("dsa", 2)]) "asd" -> Just 1

class Trav t where type Index t :: * trav :: ta -> Index t -> Maybe a class Trav t where type Index t :: * trav :: ta -> Index t -> Maybe a