Showing use of restricted type sets with applied functions