How do I use digestive functors to create a form that has a programmatically generated list of checkboxes, which would return a list. For example:
[x] Milk
[ ] Cereals
[x] Ground meat
would return ["Milk", "Ground meat"].
I'm expecting the type would be something like:
form :: (Functor m, Monad m) => [String] -> HappstackForm m Html BlazeFormHtml [String]