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