[swift-evolution] [Proposal] Higher Kinded Types (Monads, Functors, etc.)

[Brent Royal-Gordon]

> Optional.map and Array.map do different things, and unifying them seems harmful.

They actually don’t do different things. Optional can be thought of as an array of zero or one elements; from that point of view, operations like `map` and `flatMap` which are supported on both actually do the same thing.

-- 
Brent Royal-Gordon
Architechies