[mattnewton]

Not a type safe one that works on your own types.

[s_ngularity]

You can't define a polymorphic function map, but you definitely could definitely define a map method for your own monomorphic container type.