module type Mappable =sig..end
map : ('a -> 'b) -> ('a t -> 'b t) operation.
If you create a new data structure, you should make it compatible
with Mappable.
type 'a mappable
'a List.tval map : ('a -> 'b) ->
'a mappable -> 'b mappablemap f e applies f to every element of e and returns the corresponding data structure