Map

Fixes #11.

There’s no free function form at present due to the higher-order polymorphism issue.