Higher order mappings work except for the in_element function.