Is Fun for Everyone? Personality Differences in Healthcare Providers’ Attitudes toward Fun · Study