%(A:*) @(key:String) @(map:(Map A)) (Maybe A)