Surveyor: a DSEL for representing and analyzing strongly typed surveys. - Wyatt Allen; Martin Erwig (Haskell, 2012)