[Haskell-cafe] HaL-7, 2012-07-13, Call for submissions