Группировка объектов по набору критериев

Я хочу решить свою конкретную потребность, поэтому продемонстрирую идею на простом примере:

Типы данных:

data Activity = Activity
  { activityName :: String
  , purpose :: Purpose
  , timeOfDay :: TimeOfDay
  , location :: Location
  }
  deriving (Show, Eq)

data Purpose = Work | Personal | Leisure
  deriving (Show, Eq)

data TimeOfDay = Morning | Afternoon | Evening
  deriving (Show, Eq)

data Location = Home | Office | Elsewhere
  deriving (Show, Eq)

Пример:

activities =
  [ Activity "Check emails" Work Morning Office
  , Activity "Attend project meeting" Work Afternoon Office
  , Activity "Go for a run" Leisure Afternoon Elsewhere
  , Activity "Prepare dinner" Personal Evening Home
  , Activity "Watch a movie" Leisure Evening Home
  , Activity "Read a book" Leisure Evening Home
  ]

Предикаты:

isWorkRelated :: Activity -> Bool
isWorkRelated activity = purpose activity == Work

isAfternoonActivity :: Activity -> Bool
isAfternoonActivity activity = timeOfDay activity == Afternoon

isAtHome :: Activity -> Bool
isAtHome activity = location activity == Home

Проблема:

Я хотел бы сгруппировать activities в соответствии с предикатами, которым они удовлетворяют. Есть ли какой-либо стандартный шаблон Haskell, который я могу использовать для решения этой проблемы? Решение должно обеспечивать удобный доступ к произвольной группе, удовлетворяющей предикату (конечно, тогда мне придется обрабатывать каждую из них по-своему).

Я был бы признателен за любую информацию по этому поводу.

П.Д.: Это одна из моих попыток:

groupByCriteria :: [a -> Bool] -> [a] -> [(a -> Bool, [a])]
groupByCriteria ps acts = [(p, filter p acts) | p <- ps]

Однако я бы предпочел иметь метку String, указывающую, какой предикат выполняется, а не функцию (a -> Bool).