Higher order mappings. Dealing with constraints.
