Added effect polymorphic map for lists.
More work.