Adding example: function with conjunction of types (not working)