Список флажков с пищеварительными функторами

Как мне использовать пищеварительные функторы для создания формы, которая имеет программно сгенерированный список флажков, который будет возвращать список. Например:

[x] Milk
[ ] Cereals
[x] Ground meat

вернет ] [«Молоко», «Фарш»] .

Я ожидаю, что тип будет примерно таким:

form :: (Functor m, Monad m) => [String] -> HappstackForm m Html BlazeFormHtml [String]