Higher order mappings.
