Maps as functors

[dr-orlovsky]

Lets consider a map and a function:

data Map :: { Key -> Value }
fn map :: Key -> Value?

The map is the result of a function execution for a certain number of times with all non-empty results collected into a set.